+ public static final CharToken left = new CharToken((char)-3, 0, 0);
+ public static final CharToken right = new CharToken((char)-4, 0, 0);
+ public static final Atom leftBrace = new Atom(new IntegerTopology<CharToken>(-3)) { public String toString() { return "{"; } };
+ public static final Atom rightBrace = new Atom(new IntegerTopology<CharToken>(-4)) { public String toString() { return "}"; } };
+