roman "Theorem 1:" , ^ , roman "  " , roman "/* a comment */"