Name

abox2latex

Synopsis

abox2latex [-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.

With the `-w' switch the maximum line width can be specified. The default line width equals 80 columns.

With the '-t' 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 replaved by abox2latex to the LaTeX? command \vee, the abbreviations table should look like:

[ "\\/" -> "\\ensuremath{\\vee}" ]

Multiple abbreviation tables can be passed to abox2latex.

Options

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

-q : run quietly

-v : display version information

-t file : Table containing box to latex macro mappings

See also

GPP, AstToAbox?, AsFixToAbox, HowToPrettyPrintAGrammar, HowToUseGPPWithLaTeX

Revision: r1.3 - 10 Feb 2004 - 18:02 - MerijnDeJonge
Tools > AboxToLaTex
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback