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 /**
  10   this function provides a simple macro mechanism:
  11
  12   if source == "tex%bla%", then
  13   substitute_args(source, {"X","Y"})  == "texXblaY"
  14   */
  15 String
  16 substitute_args(String source, Array<String> args);
  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