4 #TeXstring# should generate a TeX string to typeset the object in
5 a hbox or vbox of exactly the objects' dimension.
13 return String("\\vrule height ") + h + "pt depth 0pt width 0pt";
17 /// the staff with five lines.
18 struct Fiveline_staff: Stretchable_symbol {
19 String operator()(Real width) {
20 String s("\\normalebalk{ ");