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:

[
 ["\\/", "\\ensuremath{\\vee}"]
]

-v

display version information

-w <width>

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