|
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. 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 TimWhat 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) $$
[Prev in Thread] | Current Thread | [Next in Thread] |