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.
14 bool outputting_comment
;
18 /// open a file for writing
19 Tex_stream(String filename
);
21 /// delegate conversion to string class.
22 Tex_stream
&operator<<(String
);
27 Tex_stream(Tex_stream
const&);