@c Permission is granted to copy, distribute and/or modify this document
@c under the terms of the GNU Free Documentation License, Version 1.3
@c or any later version published by the Free Software Foundation;
@c Permission is granted to copy, distribute and/or modify this document
@c under the terms of the GNU Free Documentation License, Version 1.3
@c or any later version published by the Free Software Foundation;
-several formats; currently, ASCII, PostScript, PDF, HTML, and DocBook are
+several formats; currently, ASCII, PostScript, PDF, HTML, DocBook and @TeX{} are