- pi.pain.lines(xp, yp, 4, Color::special);
+ pi.pain.lines(xp, yp, 4, Color_special);
+ break;
+ }
+ case SLASH:
+ {
+ font.setColor(Color_special);
+ pi.pain.text(x, y, char_type('/'), font);
+ break;
+ }
+ case NOBREAKDASH:
+ {
+ font.setColor(Color_latex);
+ pi.pain.text(x, y, char_type('-'), font);