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   this function provides a simple macro mechanism:
  10
  11   if source == "tex%bla%", then
  12   substitute_args(source, {"X","Y"})  == "texXblaY"
  13   */
  14 String
  15 substitute_args(String source, Array<String> args);
  16
  17 /// parameter substitution in TeXstrings
  18 String
  19 substitute_args(String source, Array<Scalar> args);
  20
  21 /// #h# is in points
  22 String vstrut(Real h);
  23
  24
  25 #endif