Hi Aditya, I know the syntax, my problem is about the options for the length of the arrow. For example \xrightarrow[big]{abc} gives a longer arrow than \xrightarrow{abc} According to different manuals also specific lengths should be possible. But they don't work. I think it's a bug. (because the example from a documentation doesn't work) Best regards, Johann On Fri, 2021-01-01 at 01:50 -0500, Aditya Mahajan wrote:
On Thu, 31 Dec 2020, Johann Birnick wrote:
Hi there,
\starttext $\xrightarrow[50pt]$ \stoptext
doesn't work. But it should, right? In the manual
\starttext $\xrightarrow[50]$ \stoptext
is shown, but that doesn't work either.
The syntax is:
\xrightarrow{top}
or
\xrightarrow{top}{bottom}
Aditya ______________________________________________________________________________ _____ If your question is of interest to others as well, please add an entry to the Wiki!
maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context webpage : http://www.pragma-ade.nl / http://context.aanhet.net archive : https://bitbucket.org/phg/context-mirror/commits/ wiki : http://contextgarden.net ______________________________________________________________________________ _____