*Name*

abox2latex

*Synopsis*

abox2latex [--alltt] [--boxenv] [-i box-term] [-o html-file] [-w width] [-t abbreviations_file] 
*Description*

The utility abox2latex produces LaTeX code according to the formatting defined in _box-term_. See HowToUseGPPWithLaTeX for instructions about how to use the generated LaTeX code in your LaTeX documents.

*Options*
	--alltt: Instructs abox2latex to produce an alltt environment. See HowToUseGPPWithLaTeX how this serves layout-preserving pretty-printing

	--boxenv: Instructs abox2latex to produce a fully formatted boxenv environment (default)

	-h: display usage information. Use this option to get information on additional options

	-t <table>: With this switch latex abreviations can be specified. The abox2latex utility can replace ordinary BOX strings by LaTeX commands. These mappings can be defined in abbreviation tables. For example, to specify that the string "\\//" should be replaced by abox2latex to the LaTeX command \vee, the abbreviations table should look like: 

<dt></dt><dd>
<verbatim>
[
 ["\\/", "\\ensuremath{\\vee}"]
]
</verbatim>
Multiple abbreviation tables can be passed to abox2latex.
</dd>

	-v: display version information

	-w&nbsp;&lt;width&gt;: Table containing box to latex macro mappings. With this switch the maximum line width can be specified. The default line width equals 80 columns.

*See also*

GenericPrettyPrinter, AstToAbox, AsFixToAbox, HowToPrettyPrintAGrammar, HowToUseGPPWithLaTeX