8 /// parameter substitution in TeXstrings
10 substitute_args(String source, Array<String> args);
12 this structure provides a simple macro mechanism:
14 if source == "tex%bla%", then
15 eval({"X","Y"}) == "texXblaY"
18 /// parameter substitution in TeXstrings
20 substitute_args(String source, Array<Scalar> args);
23 String vstrut(Real h);