hdr/symbol.hh

   1 #ifndef SYMBOL_HH
   2 #define SYMBOL_HH
   3
   4 #include "string.hh"
   5 #include "boxes.hh"
   6 #include "proto.hh"
   7
   8 struct Symbol {
   9     String tex;
  10     Box dim;
  11
  12     Symbol (String, Box);
  13     Symbol();
  14     String str()const;          // for printing.
  15 };
  16
  17 #endif