4 #include "paper-stream.hh"
7 Use this class for writing to a TeX file.
8 It counts braces to prevent nesting errors, and
9 it will add a comment sign before each newline.
11 class Tex_stream : public Paper_stream
14 Tex_stream (String filename);
15 virtual ~Tex_stream();
17 virtual void header();
18 virtual Paper_stream &operator <<(Scalar);
21 #endif // TEX_STREAM_HH