Re: [Axiom-developer] overlabel

[Ralf Hemmecke]

On 07/07/2014 10:50 PM, address@hidden wrote:
> Ralf,
> 
> This was probably a latex macro for
> \[ a \mathrel{\mathop{\rightleftarrows}^{\mathrm{over}}_{\mathrm{under}}} b\]
> 
> which uses the amssymb package to create
> 
> 
>             over
>       a  ---------> b
>          <--------
>            under
> 
> Tim

What confuses me is what is currently produced.
The TeX output is pretty useless. The algebra output rather confuses me.
without the | it would perhaps be like what Tim says.

Anyhow, it looks like there is need for a better specification.
I'm not going to support this in my new TexFormat.

Ralf

(1) -> O==>OutputForm
(3) -> )set output tex on
(3) -> overlabel(a::O, b::O)$O

        a
        |
   (3)  b
$$
OVERLABEL
\left(
{a, \: b}
\right)
\leqno(3)
$$