case '$' : out.print("{\\$}"); break;
case '%' : out.print("{\\%}"); break;
case '&' : out.print("{\\&}"); break;
- case '^' : out.print("{\\^}"); break;
+ case '^' : out.print("{\\text{\\textasciicircum}}"); break;
case '`' : out.print("{`}"); break;
default:
if (i >= 0x30 && i <= 0x7a) out.print((char)c);