9 Use this class for writing to a TeX file.
10 It counts braces to prevent nesting errors, and
11 it will add a comment sign before each newline.
16 bool outputting_comment;
19 /// to check linelen in output. TeX has limits.
22 /// open a file for writing
23 Tex_stream (String filename);
26 /// delegate conversion to scalar class
27 Tex_stream &operator <<(Scalar);
32 Tex_stream (Tex_stream const&);