hdr/tex.hh

   1 #ifndef TEX_HH
   2 #define TEX_HH
   3
   4 #include "string.hh"
   5 #include "boxes.hh"
   6 #include "scalar.hh"
   7
   8 /// parameter substitution in TeXstrings
   9 String
  10 substitute_args(String source, Array<String> args);
  11 /**
  12   this structure provides a simple macro mechanism:
  13
  14   if source == "tex%bla%", then
  15   eval({"X","Y"})  == "texXblaY"
  16   */
  17
  18 /// parameter substitution in TeXstrings
  19 String
  20 substitute_args(String source, Array<Scalar> args);
  21
  22 /// #h# is in points
  23 String vstrut(Real h);
  24
  25
  26 #endif