Uses of Interface
org.qedeq.kernel.latex.Element2Latex.ListType

Packages that use Element2Latex.ListType

org.qedeq.kernel.latex

LaTeX export abilities of the kernel.

Uses of Element2Latex.ListType in org.qedeq.kernel.latex

Classes in org.qedeq.kernel.latex that implement Element2Latex.ListType

(package private) class	Element2Latex.BinaryLogical Transformer for a binary logical operator written in infix notation.
(package private) class	Element2Latex.Class Transformer for a class operator.
(package private) class	Element2Latex.Classlist Transformer for class list operator.
(package private) class	Element2Latex.Funcon Transformer for a function constant.
(package private) class	Element2Latex.Funvar Transformer for a function variable.
(package private) class	Element2Latex.Not Transformer for negation.
(package private) class	Element2Latex.Predcon Transformer for a predicate constant.
(package private) class	Element2Latex.Predvar Transformer for a predicate variable.
(package private) class	Element2Latex.Quantifier Transformer for a quantifier operator.
(package private) class	Element2Latex.QuantorIntersection Transformer for a quantifier intersection.
(package private) class	Element2Latex.QuantorUnion TODO mime 20080126: needed?
(package private) class	Element2Latex.Unknown TODO mime 20080126: needed?
(package private) class	Element2Latex.Var Transformer for a subject variable.