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, d...@axiom-developer.org 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)
> $$
>
------------------------------------------------------------------------------
Open source business process management suite built on Java and Eclipse
Turn processes into business applications with Bonita BPM Community Edition
Quickly connect people, data, and systems into organized workflows
Winner of BOSSIE, CODIE, OW2 and Gartner awards
http://p.sf.net/sfu/Bonitasoft
_______________________________________________
open-axiom-devel mailing list
open-axiom-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
