Projekt:Semantische Vorlagen/Latex/Englische Zusätze
\newtheorem{corollary}[fakt]{Corollary}
\newtheorem{Corollary}[fakt]{Corollary}
\theoremstyle{definition}
\newtheorem{example}[fakt]{Example}
\newtheorem{remark}[fakt]{Remark}
\newcommand{\inputremark}[2] {\bemerkungvorskip \begin{remark} \bemerkungbenennung{#1} \bemerkungbenennungnachskip #2 \end{remark} \bemerkungnachskip}
\newcommand{\inputexample}[2] {\beispielvorskip \begin{example} \beispielbenennung{#1} \beispielbenennungnachskip #2 \end{example} \beispielnachskip}
\newcommand{\inputfaktproof}[5] {\faktvorskip \begin{#2}
%\label{#1} (Absetzen, sonst kann das folgende dahinter rutschen)
\faktbenennung{#3} \faktbenennungnachskip #4 \end{#2} \faktnachskip \beweis{#5}}
\renewcommand{\proofname}{\hspace{-0.64cm}{\it Proof}}