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.