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
_______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org https://lists.nongnu.org/mailman/listinfo/axiom-developer
