fix handling of carets master
authorAdam Megacz <adam@megacz.com>
Tue, 1 Mar 2011 00:55:53 +0000 (16:55 -0800)
committerAdam Megacz <adam@megacz.com>
Tue, 1 Mar 2011 00:55:53 +0000 (16:55 -0800)
src/Unicode2Tex.java

index 2758e2e..14419a3 100644 (file)
@@ -44,7 +44,7 @@ public class Unicode2Tex {
                 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);