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}}