public Coord sz() { return (t.sz()); }
public Coord sz() { if (r == null) return (text().sz()); else return (r.sz()); }
public Tex tex() { return (t.tex()); }