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) $$
-- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
