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

[Eugene Surowitz]

Actually it sort of looks just plain wrong.

Lamport LaTex says \: provides medium spacing rather
than whatever the default would be;

Spivak Joy p.220 talks about spacing similarly but
he seems flub it in line (12) of his example versus
his discussion below it -- missing a colon in the TeX.

So the notion of "something over something else" seems
to have gotten lost.  And in the interpreter's output
\: looks appropriately used, for spacing.

Gene

On 7/7/2014 4:59 PM, Ralf Hemmecke wrote:
> 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)
> $$