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