Projekt:Semantische Vorlagen/Latex/Strukturvorlagen für Manuskript

\renewcommand{\maabb}[4]{ \mathmanusvorskip ${\ifthenelse {\equal {#1}{} } {} {#1:}}\, #2 \longrightarrow #3 #4 $ \mathmanusnachskip}

\renewcommand{\maabbele}[6]{\mathmanusvorskip $ {\ifthenelse {\equal {#1}{} } {} {#1:}}\, #2 \longrightarrow #3 ,$ \mathmanusvorskip $ \, #4 \longmapsto #5 #6 $ \mathmanusnachskip }

\renewcommand{\maabbdisp}[4]{\mathmanusvorskip $ {\ifthenelse {\equal {#1}{} } {} {#1:}}\, #2 \longrightarrow #3 #4 $ \mathmanusnachskip }

\renewcommand{\maabbeledisp}[6]{\mathmanusvorskip $ {\ifthenelse {\equal {#1}{} } {} {#1:}}\, #2 \longrightarrow #3 \, , $ \mathmanusvorskip $ #4 \longmapsto #5 #6 $ \mathmanusnachskip }

\renewcommand{\faktvoraussetzung}[1]{\faktvoraussetzungskip #1}

%Beweisgestaltung

\renewcommand{\proofname}{\hspace{-0.3cm}{ {\bf Beweis}}}

\renewcommand{\teilbeweis}[5]{#1 #2 #3 \par \bigskip \noindent #4 #5}

\renewcommand{\fallunterscheidung}[5]{\par \bigskip \noindent #1 \par \bigskip \noindent #2 #3 #4 #5 }