430431432433434435436437438439440
} } // Build object TeXDimension d = new TeXDimension(Float.parseFloat(numeral), unit); d.setBracketed(bracketed); SyntaxTeXDimension sd = new SyntaxTeXDimension(d, Util.substring(code,start,offset-1)); return sd; }