![](https://secure.gravatar.com/avatar/729057611ae3dad5cee22739e6394ba5.jpg?s=120&d=mm&r=g)
31 Dec
2020
31 Dec
'20
12:34 p.m.
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. Best regards, Johann