LaTeX symbols
The LaTeX symbols are a font with eleven additional mathematical characters designed by Leslie Lamport , the author of LaTeX . The eleven additional symbols are particularly useful in Lamport's specialty, logic . The LaTeX symbols are part of all LaTeX distributions.
The LaTeX symbols are programmed in METAFONT and are available under a free license.
In LaTeX 2.09 the LaTeX symbols were available by default, in today's version LaTeX2e they have to be included with the package latexsym. Since the AMS symbols contain the LaTeX symbols (or a functionally equivalent symbol), the LaTeX symbols are now considered obsolete.
literature
- Frank Mittelbach; Michael Goossens: The LaTeX companion. Pearson Studium, Munich 2005, ISBN 3-8273-7166-X