Wikiversity:Semantic templates/Proof formation/Latex

\newcommand{\subproof}[5]{#1#2#3#4#5}

\newcommand{\proofcases}[5]{#1 #2\ifthenelse {\equal {#3}{}} {} { #3}\ifthenelse {\equal {#4}{}} {} { #4}\ifthenelse {\equal {#5}{}} {} { #5}}

\newcommand{\casetwo}[2]{#1 #2}

\newcommand{\casethree}[3]{#1 #2 #3 }

\newcommand{\casefour}[4]{#1 #2 #3 #4 }

\newcommand{\casefive}[5]{#1 #2 #3 #4 #5 }