[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Eugene Surowitz
Subject: Re: [Axiom-developer] [fricas-devel] Re: overlabel
Date: Mon, 07 Jul 2014 17:29:01 -0400
User-agent: Mozilla/5.0 (Windows NT 5.1; rv:24.0) Gecko/20100101 Thunderbird/24.6.0

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.


On 7/7/2014 4:59 PM, Ralf Hemmecke wrote:
On 07/07/2014 10:50 PM, address@hidden wrote:

This was probably a latex macro for
\[ a \mathrel{\mathop{\rightleftarrows}^{\mathrm{over}}_{\mathrm{under}}} b\]

which uses the amssymb package to create

       a  ---------> b


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.


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

    (3)  b
{a, \: b}

reply via email to

[Prev in Thread] Current Thread [Next in Thread]