This looks like an attempt, together with 'over' and 'overbar' to implement the notion putting a symbol over another symbol between them -- much in the manner of a fraction.
See the TeXbook p.70 and The Joy of TeX p.146 (in my copies). Just last week I ran into issues with what Joy says should happen. The above is purely speculation on my part and could very easily hopelessly wrong. However my impression is that Axiom's were in active development around the time that those were being written and developed. You may be looking at something very half baked. Cheers, Gene On 7/7/2014 1:58 PM, Ralf Hemmecke wrote: > Does someone know a good use case for "overlabel"? > > http://fricas.github.io/api/OutputForm.html#index-53 > > overlabel: (%, %) -> % > overlabel(x,f) creates the form f with "x overbar” over the top. > > It is used in tree.spad, but I cannot make sense of it. > > Ralf > ------------------------------------------------------------------------------ Open source business process management suite built on Java and Eclipse Turn processes into business applications with Bonita BPM Community Edition Quickly connect people, data, and systems into organized workflows Winner of BOSSIE, CODIE, OW2 and Gartner awards http://p.sf.net/sfu/Bonitasoft _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
