412413414415416417418419420421422
readWhitespaces(); p("reading unit"); // Read unit TeXUnit unit = TeXUnit.NONE; if(Character.isLetter(readChar())) { String strUnit = readWord(); p(strUnit); unit = TeXUnit.getValue(strUnit.toUpperCase()); }