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