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