XSLT Processor: <xsl:apply-templates select="HEADER/TITLE/LATEX"/>

Autoren

 <>

Importierte Module

Chapter

Section

Definition

P , =

Axiom

Theorem

 and Existiert : Existiert : ist Menge ist in x