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 };
  15
  16 #endif