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 }