11 Symtable::lookup(String s) const
17 WARN<<"Unknown symbol " << s <<'\n';
23 Symtables::operator()(String s)
25 return Assoc<String, Symtable*>::operator[](s);
29 Symtables::read(Text_db &symini)
31 while (!symini.eof()) {
32 Text_record r( symini++);
35 assert (r[0] == "table");
38 Symtable * sp = new Symtable;
39 while (!symini.eof()){
49 for (int j=0; j < 4; j++)
50 dims.add( parse_dimen(r[i++]));
52 Symbol s(tex, Box(dims));