1 Jan
2021
1 Jan
'21
6:50 a.m.
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