Re: [Axiom-developer] [fricas-devel] overlabel

[Eugene Surowitz]

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