<<< native [ EText TextNormal "Theorem 1:" , ESymbol Pun "," , ESpace (1 % 6) , ESymbol Pun "," , EText TextNormal "\8287\8202" , ESymbol Pun "," , EText TextNormal "/* a comment */" ] >>> tex \text{Theorem\ 1:},\,,\text{ \,},\text{/*\ a\ comment\ */}