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, [email protected] 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) $$
_______________________________________________ Axiom-developer mailing list [email protected] https://lists.nongnu.org/mailman/listinfo/axiom-developer
