[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] overlabel
From: |
Ralf Hemmecke |
Subject: |
Re: [Axiom-developer] overlabel |
Date: |
Mon, 07 Jul 2014 22:59:31 +0200 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.6.0 |
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
>
> 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)
$$