![](https://secure.gravatar.com/avatar/c5ae4f9aa0d3a9bd5376e92b322c3e50.jpg?s=120&d=mm&r=g)
31 Dec
2020
31 Dec
'20
11:50 p.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