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