14 Symtable::lookup(String s
) const
20 WARN
<<"Unknown symbol " << s
<<'\n';
26 Symtables::operator()(String s
)
28 if (!done_reading
){ // read on demand
29 *mlog
<< '(' << fname
;
34 return Assoc
<String
, Symtable
*>::operator[](s
);
40 Text_db
symini(fname
);
41 while (!symini
.eof()) {
42 Text_record
r( symini
++);
43 assert (r
[0] == "table");
46 Symtable
* sp
= new Symtable
;
47 while (!symini
.eof()){
57 for (int j
=0; j
< 4; j
++)
58 dims
.add( parse_dimen(r
[i
++]));
60 Symbol
s(tex
, Box(dims
));