9 bool outputting_comment;
13 /// open a file for writing
14 Tex_stream(String filename);
16 /// delegate conversion to string class.
17 Tex_stream &operator<<(String);
23 Use this class for writing to a TeX file.
24 It counts braces to prevent nesting errors, and
25 it will add a comment sign before each newline.