[EText TextNormal "Theorem 1:",ESymbol Pun ",",EText TextNormal "\8201",ESymbol Pun ",",EText TextNormal "\8287\8202",ESymbol Pun ",",EText TextNormal "/* a comment */"]