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