5 Nov
2019
5 Nov
'19
8:14 p.m.
Hi, in the following code example the result from \type lacks the space between \cmd and the following left bracket. \starttext \starttyping \cmd [...] \stoptyping \type{\cmd [...]} \stoptext Wolfgang