[EText TextNormal "Theorem 1:",ESymbol Pun ",",ESpace (1 % 6),ESymbol Pun ",",EText TextNormal "\8287\8202",ESymbol Pun ",",EText TextNormal "/* a comment */"]