Wikiversity:Semantic templates/Notes header for latex
\usepackage{ifthen}
%\usepackage{fancyhdr}
%Basic header
%Packages
\usepackage{amscd}
\usepackage{amssymb}
\usepackage{epsfig} %Graphik
\usepackage{verbatim,moreverb} %
\usepackage{eurosym}
\usepackage{epigraph}
\setcounter{MaxMatrixCols}{20}
%Mathematical commands
%Project:Semantic templates/Mathematical mode/Latex
\newcommand{\mathdisp}[2]{\[ #1 \, #2 \]}
\newcommand{\mathindex}[3]{$ #1$, $#2 $#3}
\newcommand{\mathcond}[8]{$ #1 ${\ifthenelse{\equal{#2}{}}{, }{ #2 }}$ #3 ${\ifthenelse{\equal{#5}{}}{}{{\ifthenelse{\equal{#4}{}}{, }{ #4 }}}$ #5 $}{\ifthenelse{\equal{#7}{}}{}{{\ifthenelse{\equal{#6}{}}{, }{ #6 }}}$ #7 $}#8}
\newcommand{\mathconddisplay}[8]{\[ #1 {\ifthenelse{\equal{#2}{}}{,\, }{ \text{ #2 } }} #3 {\ifthenelse{\equal{#5}{}}{}{{\ifthenelse{\equal{#4}{}}{,\, }{ \text{ #4 } }}} #5 }{\ifthenelse{\equal{#7}{}}{}{{\ifthenelse{\equal{#6}{}}{,\, }{ \text{ #6 } }}} #7 }#8 \]}
\newcommand{\mathcondtermdisplay}[8]{\[ #1\] #2 $ #3 $#4 $ #5 $#6$ #7 $#8}
\newcommand{\mathkon}[4]{$ #1 $ #2 $ #3 $#4}
\newcommand{\mathcor}[5]{{\ifthenelse{\equal{#1}{}}{}{#1 }}$ #2 $ #3 $ #4 $#5}
\newcommand{\mathcorb}[5]{{\ifthenelse{\equal{#1}{}}{}{#1 }}$ #2 $ #3 $ #4 $#5}
\newcommand{\mathlist}[5]{$ #1 $\ifthenelse{\equal{#2}{}}{,}{ #2} $ #3 $\ifthenelse{\equal{#4}{}}{,}{ #4} $ #5 $}
\newcommand{\mathlistdisplay}[5]{\[ #1 \ifthenelse{\equal{#2}{}}{,}{ \text{ #2 }} #3 \ifthenelse{\equal{#4}{}}{,}{\text{ #4 } } #5 \] }
\newcommand{\alignier}[2]{\begin{align*} #1 \, #2 \end{align*}}
\newcommand{\mathlistfourdisplay}[7]{\[ #1,\, #3, \, #5 \text{ #6 } #7 \]}
%Project:Semantic templates/Mathematical relation chains/Latex
\newcommand{\mathrelationchain}[4]{$ #1 #2 #3#4$}
\newcommand{\mathrelationchaindisplay}[4]{\[ #1 #2 #3 #4 \]}
\newcommand{\mathrelationchaindisplaylong}[4]{\[ #1 #2 #3 #4 \]}
\newcommand{\mathrelationchainalign}[4]{ \begin{eqnarray*} #1 #2 #3 #4 \end{eqnarray*} }
\newcommand{\relationchain}[9]{ #1 \, #2 \, #3 \ifthenelse {\equal {#4}{ }} {} {\, #4 \, #5 } \ifthenelse {\equal {#6}{ } }{} {\, #6 \, #7 } \ifthenelse {\equal {#8}{ }}{} {\, #8 \, #9 } }
\newcommand{\relationchainlong}[9]{ #1 \, #2 \, #3 \ifthenelse {\equal {#4}{ }} {} {\, #4 \, #5 } \ifthenelse {\equal {#6}{ } }{} {\, #6 \, #7 } \ifthenelse {\equal {#8}{ }}{} {\, #8 \, #9 } }
\newcommand{\relationchainextension}[8]{ \, #1 \, #2 \ifthenelse {\equal {#3}{ }} {} {\, #3 \, #4 } \ifthenelse {\equal {#5}{ } }{} {\, #5 \, #6 } \ifthenelse {\equal {#7}{ }}{} {\, #7 \, #8 } }
\newcommand{\relationchainalign}[9]{ #1 & #2 & #3 \ifthenelse {\equal {#4}{ }} {} {\cr & #4 & #5 } \ifthenelse {\equal {#6}{ } }{} {\cr & #6 & #7 } \ifthenelse {\equal {#8}{ }}{} {\cr & #8 & #9 } }
\newcommand{\relationchainextensionalign}[8]{ \cr & #1 & #2 \ifthenelse {\equal {#3}{ }} {} {\cr & #3 & #4 } \ifthenelse {\equal {#5}{ } }{} {\cr & #5 & #6 } \ifthenelse {\equal {#7}{ }}{} {\cr & #7 & #8 } }
\newcommand{\mathrelationchainalignprintleft}[4]{ \begin{eqnarray*} #1 #2 #3 #4 \end{eqnarray*} }
\newcommand{\relationchainalignprintleft}[9]{ & & #1 \cr & #2 & #3 \ifthenelse {\equal {#4}{ }} {} {\cr & #4 & #5 } \ifthenelse {\equal {#6}{ } }{} {\cr & #6 & #7 } \ifthenelse {\equal {#8}{ }}{} {\cr & #8 & #9 } }
\newcommand{\mathrelationchainalignhandleft}[4]{ \begin{eqnarray*} #1 #2 #3 #4 \end{eqnarray*} }
\newcommand{\relationchainalignhandleft}[9]{ #1 & #2 & #3 \ifthenelse {\equal {#4}{ }} {} {\cr & #4 & #5 } \ifthenelse {\equal {#6}{ } }{} {\cr & #6 & #7 } \ifthenelse {\equal {#8}{ }}{} {\cr & #8 & #9 } }
\newcommand{\mathrelationchaindisplayhandleft}[4]{ \[ #1 #2 #3 #4 \] }
\newcommand{\relationchaindisplayhandleft}[9]{ #1 \, #2 \, #3 \ifthenelse {\equal {#4}{ }} {} {\, #4 \, #5 } \ifthenelse {\equal {#6}{ } }{} {\, #6 \, #7 } \ifthenelse {\equal {#8}{ }}{} {\, #8 \, #9 } }
\newcommand{\rowwithpart}[2]{ \ifthenelse {\equal {#2} {} } {#1} { #1 \cr & & #2} }
\newcommand{\mathrelationchainb}[4]{$ #1 #2 #3#4$}
\newcommand{\relationchainb}[9]{ #1 \, #2 \, #3 \ifthenelse {\equal {#4}{ }} {} {\, #4 \, #5 } \ifthenelse {\equal {#6}{ } }{} {\, #6 \, #7 } \ifthenelse {\equal {#8}{ }}{} {\, #8 \, #9 } }
\newcommand{\relationchainextensionb}[8]{ \, #1 \, #2 \ifthenelse
{\equal {#3}{ }} {} {\, #3 \, #4 } \ifthenelse {\equal {#5}{ } }{}
{\, #5 \, #6 } \ifthenelse {\equal {#7}{ }}{} {\, #7 \, #8 } }
%Project:Semantic templates/Mathematical templates/Latex
\newcommand{\N} {{\mathbb N}}
\newcommand{\Z} {{\mathbb Z}}
\newcommand{\Q} {{\mathbb Q}}
\newcommand{\R} {{\mathbb R}}
\newcommand{\C} {{\mathbb C}}
\newcommand{\Complex} {{\mathbb C}}
\newcommand{\defeq}{:=}
\newcommand{\defeqr}{=:}
\newcommand{\tensor}{\otimes}
\newcommand{\mathmap}[4]{${\ifthenelse {\equal {#1}{} } {} {#1 \colon }}\, #2 \rightarrow #3 #4 $}
\newcommand{\mathmapelement}[6]{$ {\ifthenelse {\equal {#1}{} } {} {#1 \colon }}\, #2 \rightarrow #3 , \, #4 \mapsto #5 #6 $}
\newcommand{\mathmapdisplay}[4]{\[ {\ifthenelse {\equal {#1}{} } {} {#1 \colon }}\, #2 \longrightarrow #3 #4 \]}
\newcommand{\mathmapelementdisplay}[6]{\[ {\ifthenelse {\equal {#1}{} } {} {#1 \colon }}\, #2 \longrightarrow #3 , \, #4 \longmapsto #5 #6 \]}
%Variant in case of ifequal-problem
\newcommand{\mathmapnamedisplay}[4]{\[ #1 \colon \, #2 \longrightarrow #3 #4 \]}
\newcommand{\mathmapelementdisplayvar}[6]{\[ {\ifthenelse {\equal {#1}{} } {} {#1 \colon }}\, #2 \longrightarrow #3 , \, #4 \longmapsto #5 #6 \]}
%Project:Semantic templates/Text design/Latex
\newcommand{\indenting}[1]{\par \hspace{1cm}#1 \par}
\newcommand{\extra}[2]{(#1)#2}
\newcommand{\extrabracket}[3]{(#1#2)#3}
\newcommand{\extrahyphen}[3]{\-- #1 \-- #3}
\newcommand{\extrafootnote}[3]{#3\footnote{#1#2}}
%Project:Semantic templates/Facts/Latex
\newtheorem{fact}{fact}[section] %counting along sections. For [], direct numbering.
\newtheorem{Fact}{fact}[Fact]
\newtheorem{Proposition}[fact]{Proposition}
\newtheorem{Corollary}[fact]{Corollary}
\newtheorem{Lemma}[fact]{Lemma}
\newtheorem{Theorem}[fact]{Theorem}
\theoremstyle{definition}
\newtheorem{Axiom}[fact]{Axiom}
\newtheorem{exercise}[fact]{Exercise}
\newtheorem{Exercise}[fact]{Exercise}
\newtheorem{examexercise}{Exercise}
\newtheorem{Examexercise}{Exercise}
\newtheorem{example}[fact]{Example}
\newtheorem{construction}[fact]{Construstion}
\newtheorem{method}[fact]{Method}
\newtheorem{remark}[fact]{Remark}
\newtheorem{definition}[fact]{Definition}
\newtheorem{notation}[fact]{Notation}
\newtheorem{Notation}[fact]{Notation}
\newtheorem{question}[fact]{Question}
\newtheorem{problem}[fact]{Problem}
\newtheorem{Problem}[fact]{Problem}
\newtheorem{situation}[fact]{Situation}
\newtheorem{Situation}[fact]{Situation}
%Design for environments
%Project:Semantic templates/Environments design/Latex
%Exercisedesign
\newcommand{\inputexercise}[4]{\exercisepreskip \begin{exercise} \pointmarks {#1} \exercisemarkskip #2 #3 #4\end{exercise} \exercisepostskip}
\newcommand{\inputexerciseexistssolution}[4]{\exercisepreskip \begin{exercise}\hspace{-1.8 mm}* \pointmarks {#1} \exercisemarkskip #2 #3 #4\end{exercise} \exercisepostskip}
\newcommand{\inputexercisemarknumberbyhand}[3]{\exercisepreskip {\bf Exercise #1} (#2 marks) \exercisemarkskip #3 \exercisepostskip}
\newcommand{\inputexercisesolution}[2]{ \begin{exercise} #1 \end{exercise} \exercisepostskip
\bigskip
Solution
\bigskip #2
}
\newcommand{\inputexerciseexamsolution}[3]{\par \newpage \begin{exercise} {\ifthenelse {\equal {#1}{}}{} {\ifthenelse {\equal {#1}{1}} {(1 marks)} {(#1 marks)}}} \par \bigskip #2 \end{exercise} \underline{Solution:} \par \bigskip #3 }
\newcommand{\inputexercisesolutionvar}[2]{\exercisepreskip exercise: #1 \exercisepostskip
Solution: #2}
\newcommand{\inputexercisemarkssolution}[3]{\exercisepreskip \begin{exercise} {\ifthenelse {\equal {#1}{}}{} {\ifthenelse {\equal {#1}{1}} {(1 mark)} {(#1 marks)}}} \exercisemarksskip #2 \end{exercise} \exercisepostskip \solution #3}
\newcommand{\solution}[1]{\underline{Solution:} #1}
\newcommand{\pointmarks}[1]{\ifthenelse {\equal {#1}{}}{} {\ifthenelse {\equal {#1}{1}} {(1 marks)} {(#1 marks)}}}
%Example design
\newcommand{\inputexample}[2] {\examplepreskip \begin{example} \examplename{#1} \examplenamepostskip #2 \end{example} \examplepostskip}
\newcommand{\examplename}[1]{ \ifthenelse {\equal {#1}{} \OR \equal {#1}{ } }{}{(#1)} }
%Remark design
\newcommand{\inputremark}[2] {\remarkpreskip \begin{remark} \remarkname{#1} \remarknamepostskip #2 \end{remark} \remarkpostskip}
\newcommand{\remarkname}[1]{ \ifthenelse {\equal {#1}{} \OR \equal {#1}{ } }{}{(#1)}}
\newcommand{\inputmethod}[2]
{\remarkpreskip
\begin{method}
\remarkname{#1}
\remarknamepostskip #2
\end{method}
\remarkpostskip}
\newcommand{\inputconstruktion}[2]
{\remarkpreskip
\begin{construktion}
\remarkname{#1}
\remarknamepostskip #2
\end{construktion}
\remarkpostskip}
\newcommand{\inputquestion}[2]
{\remarkpreskip
\begin{question}
\questionname{#1}
\remarknamepostskip #2
\end{question}
\remarkpostskip}
\newcommand{\questionname}[1]{ \ifthenelse {\equal {#1}{} \OR \equal {#1}{ } }{}{(#1)}}
\newcommand{\inputproblem}[2]
{\remarkpreskip
\begin{problem}
\problemname{#1}
\remarknamepostskip #2
\end{problem}
\remarkpostskip}
\newcommand{\problemname}[1]{ \ifthenelse {\equal {#1}{} \OR \equal {#1}{ } }{}{(#1)}}
%Situation design \newcommand{\inputsituation}[2] {\begin{situation} \situationname{#1} #2 \end{situation} }
\newcommand{\situationname}[1]{\ifthenelse {\equal {#1}{} \OR \equal {#1}{ } }{}{(#1)}}
%Definition design
\newcommand{\inputdefinition}[2] {\definitionpreskip \begin{definition} \definitionname{#1} \definitionnamepostskip #2 \end{definition} \definitionpostskip}
\newcommand{\inputaxiom}[2]
{\definitionpreskip
\begin{axiom}
\definitionname{#1}
\definitionnameskip #2
\end{axiom}
\definitionpostskip}
\newcommand{\definitionname}[1]{\ifthenelse {\equal {#1}{} \OR \equal {#1}{ } }{}{(#1)}}
\newcommand{\inputnotation}[2]
{\definitionpreskip \begin{notation} \definitionname{#1} \definitionnamepostskip #2 \end{notation} \definitionpostskip}
%Fact- and proof design
\renewcommand{\proofname}{\hspace{0cm}{\it Proof}}
%\newcommand{\proof}[1]{\begin{proof} #1 \end{proof}}
\newcommand{\inputfact}[4]
{\factpreskip
\begin{#2}
%\label{#1}
\factname{#3} \factnamepostskip #4 \end{#2} \faktpostskip }
\newcommand{\inputfactproof}[5] {\factpreskip \begin{#2}
%\label{#1}
\factname{#3} \factnamepostskip #4 \end{#2} \factpostskip \proof{#5}}
\newcommand{\inputfactproofnotpresented}[5]{\inputfactproof {#1} {#2} {#3} {#4} {This proof was not presented in the lecture.} }
\newcommand{\inputfactprooftrivial}[4]{\inputfactproof {#1} {#2} {#3} {#4} {This is trivial.} }
\newcommand{\inputproof}[1]{\proof{#1} }
\newcommand{\factname}[1]{\ifthenelse {\equal {#1}{} \OR \equal {#1}{ } }{}{(#1)}}
%Design of fact structure
\newcommand{\factsituation}[1]{\factsituationskip #1}
\newcommand{\factcondition}[1]{\factconditionskip #1}
\newcommand{\factconditionempty}[1]{ \hspace{-0,15cm} }
\newcommand{\factconditionpos}[1]{\factconditionskip #1}
\newcommand{\factsegue}[1]{\factsegueskip #1}
\newcommand{\factsegueempty}[1]{\factsegueskip \hspace{-0,15cm} }
\newcommand{\factconclusion}[1]{\factconclusionskip #1}
\newcommand{\factextra}[1]{\factextraskip #1}
%
%Project: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 }
%Project:Semantic templates/Keywords/Latex
\newcommand{\emphasize}[2]{\emph{#1}#2}
\newcommand{\keyword}[2]{\emph{#1}#2}
\newcommand{\keywordpremath}[3]{$#1$-\emph{#2}#3}
\newcommand{\definitionword}[2]{\emph{#1}#2}
\newcommand{\definitionwordpremath}[3]{$#1$-\emph{#2}#3}
\newcommand{\definitionwordpart}[2]{\emph{#1}#2}
\newcommand{\definitionwordenp}[2]{\emph{#1}#2}
\newcommand{\definitionrefer}[3]{#1#3}
\newcommand{\definitionreferquotation}[3]{\quotationshort {#1} {#3} }
%Quotation
\newcommand{\quotationshort}[2]{``{#1}#2}
%Project:Semantic templates/Listings/Latex
%Enumerations
\newcommand{\enumerationone}[1]{\begin{enumerate} \item #1 \end{enumerate}}
\newcommand{\enumerationtwo}[2]{\begin{enumerate} \item #1 \item #2 \end{enumerate}}
\newcommand{\enumerationthree}[3]{\begin{enumerate} \item #1 \item #2 \item #3 \end{enumerate}}
\newcommand{\enumerationfour}[4]{\begin{enumerate} \item #1 \item #2 \item #3 \item #4 \end{enumerate}}
\newcommand{\enumerationfive}[5]{\begin{enumerate} \item #1 \item #2 \item #3 \item #4 \item #5 \end{enumerate}}
\newcommand{\enumerationsix}[6]{\begin{enumerate} \item #1 \item #2 \item #3 \item #4 \item #5 \item #6 \end{enumerate}}
\newcommand{\enumerationseven}[7]{\begin{enumerate} \item #1 \item #2 \item #3 \item #4 \item #5 \item #6 \item #7 \end{enumerate}}
\newcommand{\enumerationeight}[8]{\begin{enumerate} \item #1 \item #2 \item #3 \item #4 \item #5 \item #6 \item #7 \item #8 \end{enumerate}}
\newcommand{\enumerationnine}[9]{\begin{enumerate} \item #1 \item #2 \item #3 \item #4 \item #5 \item #6 \item #7 \item #8 \item #9 \end{enumerate}}
\newcommand{\itemfive}[5]{\item #1 \item #2 \item #3 \item #4 \item #5}
\newcommand{\itemsix}[6]{\item #1 \item #2 \item #3 \item #4 \item #5 \item #6}
\newcommand{\itemseven}[7]{\item #1 \item #2 \item #3 \item #4 \item #5 \item #6 \item #7}
\newcommand{\enumerationtworows}[2]{\begin{enumerate} #1 #2 \end{enumerate}}
%Listings
\newcommand{\listitem}{\par \listskip \listdot}
\newcommand{\listingtwo}[2]{\par \listskip \listdot #1 \par \listskip \listdot #2 \par \listskip}
\newcommand{\listingthree}[3]{\par \listskip \listdot #1 \par \listskip \listdot #2\par \listskip \listdot #3\par\listskip }
\newcommand{\listingfour}[4]{\par \listskip \listdot #1 \par \listskip \listdot #2\par \listskip \listdot #3\par \listskip \listdot #4 \par \listskip }
\newcommand{\listingfive}[5]{\par \listskip \listdot #1 \par \listskip \listdot #2\par \listskip \listdot #3\par \listskip \listdot #4 \par \listskip \listdot #5 \par \listskip }
\newcommand{\listingsix}[6]{\par \listskip \listdot #1 \par \listskip \listdot #2\par \listskip \listdot #3\par \listskip \listdot #4 \par \listskip \listdot #5 \par \listskip \listdot #6 \par \listskip}
\newcommand{\listingseven}[7]{\par \listskip \listdot #1 \par \listskip \listdot #2\par \listskip \listdot #3\par \listskip \listdot #4 \par \listskip \listdot #5 \par \listskip \listdot #6 \par \listskip \listdot #7 \par \listskip }
\newcommand{\listingeight}[8]{\par \listskip \listdot #1 \par \listskip \listdot #2\par \listskip \listdot #3\par \listskip \listdot #4 \par \listskip \listdot #5 \par \listskip \listdot #6 \par \listskip \listdot #7 \par \listskip \listdot #8 \par \listskip}
\newcommand{\listingnine}[9]{\par \listskip \listdot #1 \par \listskip \listdot #2\par \listskip \listdot #3\par \listskip \listdot #4 \par \listskip \listdot #5 \par \listskip \listdot #6 \par \listskip \listdot #7 \par \listskip \listdot #8 \par \listskip \listdot #9 \par \listskip }
\newcommand{\listitemfive}[5]{\listitem #1 \listitem #2 \listitem #3 \listitem #4 \listitem #5}
\newcommand{\listingtworows}[2]{ #1 #2 }
%design of listings
\newcommand{\listdot}{$\bullet \,$}
%Image design
\newcommand{\inputimage}[1]{\includegraphics[scale]{#1}}
%Table design
%Project:Semantic templates/Row configuration/Latex
\newcommand{\rowandtwo}[2]{#1 & #2}
\newcommand{\rowandthree}[3]{#1 & #2 & #3}
\newcommand{\rowandfour}[4]{#1 & #2 & #3 & #4}
\newcommand{\rowandfive}[5]{#1 & #2 & #3 & #4 & #5}
\newcommand{\rowandsix}[6]{#1 & #2 & #3 & #4 & #5 & #6}
\newcommand{\rowandseven}[7]{#1 & #2 & #3 & #4 & #5 & #6 & #7}
\newcommand{\rowandeight}[8]{#1 & #2 & #3 & #4 & #5 & #6 & #7 & #8}
\newcommand{\rowandnine}[9]{#1 & #2 & #3 & #4 & #5 & #6 & #7 & #8 & #9}
\newcommand{\mathrowandtwo}[2]{$#1$ & $#2$}
\newcommand{\mathrowandthree}[3]{$#1$ & $ #2$ & $#3$}
\newcommand{\mathrowandfour}[4]{$#1$ & $#2$ & $#3$ & $#4$}
\newcommand{\mathrowandfive}[5]{$#1$ & $#2$ & $#3$ & $#4$ & $#5$}
\newcommand{\mathrowandsix}[6]{$#1$ & $#2$ & $#3$ & $#4$ & $#5$ & $#6$}
\newcommand{\mathrowandseven}[7]{$#1$ & $#2$ & $#3$ & $#4$ & $#5$ & $#6$ & $#7$}
\newcommand{\mathrowandeight}[8]{$#1$ & $#2$ & $#3$ & $#4$ & $#5$ & $#6$ & $#7$ & $#8$}
\newcommand{\mathrowandnine}[9]{$#1$ & $#2$ & $#3$ & $#4$ & $#5$ & $#6$ & $#7$ & $#8$ & $#9$}
% ? ?
\newcommand {\listsixmathand}[6]{$#1$ & $#2$& $#3$ & $#4$ & $#5$ & $#6$}
\newcommand {\listsevenmathand}[7]{$#1$ & $#2$& $#3$ & $#4$ & $#5$ & $#6$ & $#7$}
\newcommand{\listtwoand}[2]{#1}
\newcommand{\listthreeand}[3]{#1}
\newcommand{\listsevenand}[7]{#1}
\newcommand{\listsixbreak}[6]{#1 \\ \hline #2 \\ \hline #3 \\ \hline #4 \\ \hline #5 \\ \hline #6}
\newcommand{\leadrowandthree}[3]{#1}
\newcommand{\mathdoublerowandthree}[6]{$#1$&$#2$&$#3$\\ \hline $#4$&$#5$&$#6$}
%Project:Semantic templates/Tables/Latex
\newcommand{\tablefourfour}[4]{\par \bigskip \begin{tabular}{|c|c|c|c|} \hline #1 \\ \hline #2 \\ \hline #3 \\ \hline #4 \\ \hline \end{tabular}}
\newcommand{\tablefivefour}[5]{\par \bigskip \begin{tabular}{|c|c|c|c|c|} \hline #1 \\ \hline #2 \\ \hline #3 \\ \hline #4 \\ \hline #5 \\ \hline \end{tabular}}
% math. entries - no lead row
\newcommand{\mathtabletwofour}[5]{\begin{center} \begin{tabular}{|c|c|} \hline #2 \\ \hline #3 \\ \hline #4 \\ \hline #5 \\ \hline \end{tabular} \end{center} }
\newcommand{\mathtabletwofive}[6]{\begin{center} \begin{tabular}{|c|c|} \hline #2 \\ \hline #3 \\ \hline #4 \\ \hline #5 \\ \hline #6 \\ \hline \end{tabular} \end{center} }
\newcommand{\mathtabletwosix}[7]{\begin{center} \begin{tabular}{|c|c|} \hline #2 \\ \hline #3 \\ \hline #4 \\ \hline #5 \\ \hline #6 \\ \hline #7 \\ \hline \end{tabular} \end{center} }
\newcommand{\mathtabletwoseven}[8]{\begin{center} \begin{tabular}{|c|c|} \hline #2 \\ \hline #3 \\ \hline #4 \\ \hline #5 \\ \hline #6 \\ \hline #7 \\ \hline #8 \\ \hline \end{tabular} \end{center} }
% math. entries - lead row
\newcommand{\mathtableseventwelve}[3]{\begin{center} \begin{tabular}{|c||c|c|c|c|c|c|c|} \hline #1 \\ \hline \hline #2 \\ \hline #3 \\ \hline \end{tabular} \end{center} }
\newcommand{\mathtabletwelvetwelve}[3]{\begin{center} \begin{tabular}{|c||c|c|c|c|c|c|c|c|c|c|c|c|} \hline #1 \\ \hline \hline #2 \\ \hline #3 \\ \hline \end{tabular} \end{center} }
\newcommand{\mathtablethreenine}[5]{\begin{center} \begin{tabular}{|c|c|c|}\hline #1 \\ \hline #2 \\ \hline #3 \\ \hline #4 \\ \hline #5 \\ \hline \end{tabular} \end{center} }
\newcommand{\mathtablethreeten}[6]{\begin{center} \begin{tabular}{|c|c|c|}\hline #1 \\ \hline #2 \\ \hline #3 \\ \hline #4 \\ \hline #5 \\ \hline #6 \\ \hline \end{tabular} \end{center} }
\newcommand{\mathtablethreeeleven}[6]{\begin{center} \begin{tabular}{|c|c|c|}\hline #1 \\ \hline #2 \\ \hline #3 \\ \hline #4 \\ \hline #5 \\ \hline #6 \\ \hline \end{tabular} \end{center} }
%Project:Semantic templates/Truth tables/Latex
\newcommand{\truthtableone}[4]{ \begin{center} \begin{tabular}{|c|c|} \multicolumn{2}{l}{\textbf{#1}}\\ \hline $p$ & $#2$\\ \hline w & #3 \\ \hline f & #4\\ \hline \end{tabular} \end{center} }
\newcommand{\truthtableonetwo}[7]{ \begin{center} \begin{tabular}{|c|c|c|} \multicolumn{3}{l}{\textbf{#1}}\\ \hline $p$ & $#2$ & $#5$ \\ \hline w & #3 & #4 \\ \hline f & #6 & #7 \\ \hline \end{tabular} \end{center} }
\newcommand{\truthtableonethree}[4]{ \begin{center} \begin{tabular}{|c|c|c|c|} \multicolumn{4}{l}{\textbf{#1}} \\ \hline #2 \\ \hline #3 \\ \hline #4 \\ \hline \end{tabular} \end{center} }
%truthtables with two variables p and q
\newcommand{\truthtabletwoone}[6]{ \begin{center} \begin{tabular}{|c|c|c|} \multicolumn{3}{l}{\textbf{#1}} \\ \hline #2 \\ \hline #3 \\ \hline #4 \\ \hline #5 \\ \hline #6 \\ \hline \end{tabular} \end{center} }
\newcommand{\truthtabletwotwo}[6]{ \begin{center} \begin{tabular}{|c|c|c|c|} \multicolumn{4}{l}{\textbf{#1}} \\ \hline #2 \\ \hline #3 \\ \hline #4 \\ \hline #5 \\ \hline #6 \\ \hline\end{tabular} \end{center} }
\newcommand{\truthtabletwothree}[6]{ \begin{center} \begin{tabular}{|c|c|c|c|c|} \multicolumn{5}{l}{\textbf{#1}} \\ \hline #2 \\ \hline #3 \\ \hline #4 \\ \hline #5 \\ \hline #6 \\ \hline \end{tabular} \end{center} }
\newcommand{\truthtabletwofour}[6]{ \begin{center} \begin{tabular}{|c|c|c|c|c|c|} \multicolumn{6}{l}{\textbf{#1}} \\ \hline #2 \\ \hline #3 \\ \hline #4 \\ \hline #5 \\ \hline #6 \\ \hline \end{tabular} \end{center} }
\newcommand{\truthtabletwofive}[6]{ \begin{center} \begin{tabular}{|c|c|c|c|c|c|c|} \multicolumn{7}{l}{\textbf{#1}} \\ \hline #2 \\ \hline #3 \\ \hline #4 \\ \hline #5 \\ \hline #6 \\ \hline \end{tabular} \end{center} }
%truthtables with three variables p,q,r
\newcommand{\truthtablethreeone}[6]{ \begin{center} \begin{tabular}{|c|c|c|c||} \multicolumn{4}{l}{\textbf{#1}} \\ \hline #2 \\ \hline #3 \\ \hline #4 \\ \hline #5 \\ \hline #6 \\ \hline
\end{tabular} \end{center} }
%Project:Semantic templates/Value tables/Latex
\newcommand{\valuetablepreskip}{\par \bigskip}
\newcommand{\valuetablepostskip}{\par \bigskip}
\newcommand{\valuetableonefromsubrows}[4]{\valuetablepreskip \begin{tabular}{|c|c|} \hline #1 & #2 \\ \hline #3 & #4 \\ \hline \end{tabular} \valuetablepostskip }
\newcommand{\valuetabletwofromsubrows}[4]{\valuetablepreskip \begin{tabular}{|c|c|c|} \hline #1 & #2 \\ \hline #3 & #4 \\ \hline \end{tabular} \valuetablepostskip }
\newcommand{\valuetablethreefromsubrows}[4]{\valuetablepreskip \begin{tabular}{|c|c|c|c|} \hline #1 & #2 \\ \hline #3 & #4 \\ \hline \end{tabular} \valuetablepostskip }
\newcommand{\valuetablefourfromsubrows}[4]{\valuetablepreskip \begin{tabular}{|c|c|c|c|c|} \hline #1 & #2 \\ \hline #3 & #4 \\ \hline \end{tabular} \valuetablepostskip }
\newcommand{\valuetablefivefromsubrows}[4]{\valuetablepreskip \begin{tabular}{|c|c|c|c|c|c|} \hline #1 & #2 \\ \hline #3 & #4 \\ \hline \end{tabular} \valuetablepostskip }
\newcommand{\valuetablesixfromsubrows}[6]{\valuetablepreskip \begin{tabular}{|c|c|c|c|c|c|c|} \hline #1 & #2 & #3 \\ \hline #4 & #5 & #6 \\ \hline \end{tabular} \valuetablepostskip }
\newcommand{\valuetablesevenfromsubrows}[6]{\valuetablepreskip \begin{tabular}{|c|c|c|c|c|c|c|c|} \hline #1 & #2 & #3 \\ \hline #4 & #5 & #6 \\ \hline \end{tabular} \valuetablepostskip }
\newcommand{\valuetableeightfromsubrows}[6]{\valuetablepreskip \begin{tabular}{|c|c|c|c|c|c|c|c|c|} \hline #1 & #2 & #3 \\ \hline #4 & #5 & #6 \\ \hline \end{tabular} \valuetablepostskip }
\newcommand{\valuetableninefromsubrows}[6]{\valuetablepreskip \begin{tabular}{|c|c|c|c|c|c|c|c|c|c|} \hline #1 & #2 & #3 \\ \hline #4 & #5 & #6 \\ \hline \end{tabular} \valuetablepostskip }
\newcommand{\valuetabletenfromsubrows}[6]{\valuetablepreskip \begin{tabular}{|c|c|c|c|c|c|c|c|c|c|c|} \hline #1 & #2 & #3 \\ \hline #4 & #5 & #6 \\ \hline \end{tabular} \valuetablepostskip }
\newcommand{\valuetableelevenfromsubrows}[8]{\valuetablepreskip \begin{tabular}{|c|c|c|c|c|c|c|c|c|c|c|c|} \hline #1 & #2 & #3 & #4 \\ \hline #5 & #6 & #7 & #8 \\ \hline \end{tabular} \valuetablepostskip }
%Project:Semantic templates/Operation tables/Latex
\newcommand{\operationtableone}[2]{\begin{center}
\begin{tabular}{|c||c|}
\hline #1 \\ \hline \hline #2 \\
\hline
\end{tabular}
\end{center} }
\newcommand{\operationtabletwo}[3]{\begin{center} \begin{tabular}{|c||c|c|} \hline #1 \\ \hline \hline #2 \\ \hline #3 \\ \hline \end{tabular} \end{center} }
\newcommand{\operationtablethree}[4]{\begin{center} \begin{tabular}{|c||c|c|c|} \hline #1 \\ \hline \hline #2 \\ \hline #3 \\ \hline #4 \\ \hline \end{tabular} \end{center} }
\newcommand{\operationtablefour}[5]{\begin{center} \begin{tabular}{|c||c|c|c|c|} \hline #1 \\ \hline \hline #2 \\ \hline #3 \\ \hline #4 \\ \hline #5 \\ \hline \end{tabular} \end{center} }
\newcommand{\operationtablefive}[6]{\begin{center} \begin{tabular}{|c||c|c|c|c|c|} \hline #1 \\ \hline \hline #2 \\ \hline #3 \\ \hline #4 \\ \hline #5 \\ \hline #6 \\ \hline \end{tabular} \end{center} }
\newcommand{\operationtablesix}[7]{\begin{center} \begin{tabular}{|c||c|c|c|c|c|c|} \hline #1 \\ \hline \hline #2 \\ \hline #3 \\ \hline #4 \\ \hline #5 \\ \hline #6 \\ \hline #7 \\ \hline \end{tabular} \end{center} }
\newcommand{\operationtableseven}[8]{\begin{center} \begin{tabular}{|c||c|c|c|c|c|c|c|c|} \hline #1 \\ \hline \hline #2 \\ \hline #3 \\ \hline #4 \\ \hline #5 \\ \hline #6 \\ \hline #7 \\ \hline #8 \\ \hline \end{tabular} \end{center} }
\newcommand{\operationtableeight}[9]{\begin{center} \begin{tabular}{|c||c|c|c|c|c|c|c|c|} \hline #1 \\ \hline \hline #2 \\ \hline #3 \\ \hline #4 \\ \hline #5 \\ \hline #6 \\ \hline #7 \\ \hline #8 \\ \hline #9 \\ \hline \end{tabular} \end{center} }
%Project:Semantic templates/Initialization for data/Latex
\newcommand{\aone}{ }
\newcommand{\atwo}{ }
\newcommand{\athree}{ }
\newcommand{\afour}{ }
\newcommand{\afive}{ }
\newcommand{\asix}{ }
\newcommand{\aseven}{ }
\newcommand{\aeight}{ }
\newcommand{\anine}{ }
\newcommand{\aten}{ }
\newcommand{\aeleven}{ }
\newcommand{\atwelve}{ }
\newcommand{\athirteen}{ }
\newcommand{\afourteen}{ }
\newcommand{\afifteen}{ }
\newcommand{\asixteen}{ }
\newcommand{\aseventeen}{ }
\newcommand{\aeightteen}{ }
\newcommand{\anineteen}{ }
\newcommand{\atwenty}{ }
\newcommand{\atwentyone}{ }
\newcommand{\atwentytwo}{ }
\newcommand{\atwentythree}{ }
\newcommand{\atwentyfour}{ }
\newcommand{\atwentyfive}{ }
\newcommand{\atwentysix}{ }
\newcommand{\atwentyseven}{ }
\newcommand{\atwentyeight}{ }
\newcommand{\atwentynine}{ }
\newcommand{\leadrowzero}{}
\newcommand{\leadrowone}{}
\newcommand{\leadrowtwo}{}
\newcommand{\leadrowthree}{}
\newcommand{\leadrowfour}{}
\newcommand{\leadrowfive}{}
\newcommand{\leadrowsix}{}
\newcommand{\leadrowseven}{}
\newcommand{\leadroweight}{}
\newcommand{\leadrownine}{}
\newcommand{\leadrowten}{}
\newcommand{\leadroweleven}{}
\newcommand{\leadrowtwelve}{}
\newcommand{\leadcolumnzero}{}
\newcommand{\leadcolumnone}{}
\newcommand{\leadcolumntwo}{}
\newcommand{\leadcolumnthree}{}
\newcommand{\leadcolumnfour}{}
\newcommand{\leadcolumnfive}{}
\newcommand{\leadcolumnsix}{}
\newcommand{\leadcolumnseven}{}
\newcommand{\leadcolumneight}{}
\newcommand{\leadcolumnnine}{}
\newcommand{\leadcolumnten}{}
\newcommand{\leadcolumneleven}{}
\newcommand{\leadcolumntwelve}{}
\newcommand{\leadcolumnthirteen}{}
\newcommand{\leadcolumnfourteen}{}
\newcommand{\leadcolumnfifteen}{}
\newcommand{\leadcolumnsixteen}{}
\newcommand{\leadcolumnseventeen}{}
\newcommand{\leadcolumneightteen}{}
\newcommand{\leadcolumnnineteen}{}
\newcommand{\leadcolumntwenty}{}
\newcommand{\aonexone}{}
\newcommand{\aonextwo}{}
\newcommand{\aonexthree}{}
\newcommand{\aonexfour}{}
\newcommand{\aonexfive}{}
\newcommand{\aonexsix}{}
\newcommand{\aonexseven}{}
\newcommand{\aonexeight}{}
\newcommand{\aonexnine}{}
\newcommand{\aonexten}{}
\newcommand{\aonexeleven}{}
\newcommand{\aonextwelve}{}
\newcommand{\atwoxone}{}
\newcommand{\atwoxtwo}{}
\newcommand{\atwoxthree}{}
\newcommand{\atwoxfour}{}
\newcommand{\atwoxfive}{}
\newcommand{\atwoxsix}{}
\newcommand{\atwoxseven}{}
\newcommand{\atwoxeight}{}
\newcommand{\atwoxnine}{}
\newcommand{\atwoxten}{}
\newcommand{\atwoxeleven}{}
\newcommand{\atwoxtwelve}{}
\newcommand{\athreexone}{}
\newcommand{\athreextwo}{}
\newcommand{\athreexthree}{}
\newcommand{\athreexfour}{}
\newcommand{\athreexfive}{}
\newcommand{\athreexsix}{}
\newcommand{\athreexseven}{}
\newcommand{\athreexeight}{}
\newcommand{\athreexnine}{}
\newcommand{\athreexten}{}
\newcommand{\athreexeleven}{}
\newcommand{\athreextwelve}{}
\newcommand{\afourxone}{}
\newcommand{\afourxtwo}{}
\newcommand{\afourxthree}{}
\newcommand{\afourxfour}{}
\newcommand{\afourxfive}{}
\newcommand{\afourxsix}{}
\newcommand{\afourxseven}{}
\newcommand{\afourxeight}{}
\newcommand{\afourxnine}{}
\newcommand{\afourxten}{}
\newcommand{\afourxeleven}{}
\newcommand{\afourxtwelve}{}
\newcommand{\afivexone}{}
\newcommand{\afivextwo}{}
\newcommand{\afivexthree}{}
\newcommand{\afivexfour}{}
\newcommand{\afivexfive}{}
\newcommand{\afivexsix}{}
\newcommand{\afivexseven}{}
\newcommand{\afivexeight}{}
\newcommand{\afivexnine}{}
\newcommand{\afivexten}{}
\newcommand{\afivexeleven}{}
\newcommand{\afivextwelve}{}
\newcommand{\asixxone}{}
\newcommand{\asixxtwo}{}
\newcommand{\asixxthree}{}
\newcommand{\asixxfour}{}
\newcommand{\asixxfive}{}
\newcommand{\asixxsix}{}
\newcommand{\asixxseven}{}
\newcommand{\asixxeight}{}
\newcommand{\asixxnine}{}
\newcommand{\asixxten}{}
\newcommand{\asixxeleven}{}
\newcommand{\asixxtwelve}{}
\newcommand{\asevenxone}{}
\newcommand{\asevenxtwo}{}
\newcommand{\asevenxthree}{}
\newcommand{\asevenxfour}{}
\newcommand{\asevenxfive}{}
\newcommand{\asevenxsix}{}
\newcommand{\asevenxseven}{}
\newcommand{\asevenxeight}{}
\newcommand{\asevenxnine}{}
\newcommand{\asevenxten}{}
\newcommand{\asevenxeleven}{}
\newcommand{\asevenxtwelve}{}
\newcommand{\aeightxone}{}
\newcommand{\aeightxtwo}{}
\newcommand{\aeightxthree}{}
\newcommand{\aeightxfour}{}
\newcommand{\aeightxfive}{}
\newcommand{\aeightxsix}{}
\newcommand{\aeightxseven}{}
\newcommand{\aeightxeight}{}
\newcommand{\aeightxnine}{}
\newcommand{\aeightxten}{}
\newcommand{\aeightxeleven}{}
\newcommand{\aeightxtwelve}{}
\newcommand{\aninexone}{}
\newcommand{\aninextwo}{}
\newcommand{\aninexthree}{}
\newcommand{\aninexfour}{}
\newcommand{\aninexfive}{}
\newcommand{\aninexsix}{}
\newcommand{\aninexseven}{}
\newcommand{\aninexeight}{}
\newcommand{\aninexnine}{}
\newcommand{\aninexten}{}
\newcommand{\aninexeleven}{}
\newcommand{\aninextwelve}{}
\newcommand{\atenxone}{}
\newcommand{\atenxtwo}{}
\newcommand{\atenxthree}{}
\newcommand{\atenxfour}{}
\newcommand{\atenxfive}{}
\newcommand{\atenxsix}{}
\newcommand{\atenxseven}{}
\newcommand{\atenxeight}{}
\newcommand{\atenxnine}{}
\newcommand{\atenxten}{}
\newcommand{\atenxeleven}{}
\newcommand{\atenxtwelve}{}
\newcommand{\aelevenxone}{}
\newcommand{\aelevenxtwo}{}
\newcommand{\aelevenxthree}{}
\newcommand{\aelevenxfour}{}
\newcommand{\aelevenxfive}{}
\newcommand{\aelevenxsix}{}
\newcommand{\aelevenxseven}{}
\newcommand{\aelevenxeight}{}
\newcommand{\aelevenxnine}{}
\newcommand{\aelevenxten}{}
\newcommand{\aelevenxeleven}{}
\newcommand{\aelevenxtwelve}{}
\newcommand{\atwelvexone}{}
\newcommand{\atwelvextwo}{}
\newcommand{\atwelvexthree}{}
\newcommand{\atwelvexfour}{}
\newcommand{\atwelvexfive}{}
\newcommand{\atwelvexsix}{}
\newcommand{\atwelvexseven}{}
\newcommand{\atwelvexeight}{}
\newcommand{\atwelvexnine}{}
\newcommand{\atwelvexten}{}
\newcommand{\atwelvexeleven}{}
\newcommand{\atwelvextwelve}{}
\newcommand{\athirteenxone}{}
\newcommand{\athirteenxtwo}{}
\newcommand{\athirteenxthree}{}
\newcommand{\athirteenxfour}{}
\newcommand{\athirteenxfive}{}
\newcommand{\athirteenxsix}{}
\newcommand{\athirteenxseven}{}
\newcommand{\athirteenxeight}{}
\newcommand{\athirteenxnine}{}
\newcommand{\athirteenxten}{}
\newcommand{\athirteenxeleven}{}
\newcommand{\athirteenxtwelve}{}
\newcommand{\afourteenxone}{}
\newcommand{\afourteenxtwo}{}
\newcommand{\afourteenxthree}{}
\newcommand{\afourteenxfour}{}
\newcommand{\afourteenxfive}{}
\newcommand{\afourteenxsix}{}
\newcommand{\afourteenxseven}{}
\newcommand{\afourteenxeight}{}
\newcommand{\afourteenxnine}{}
\newcommand{\afourteenxten}{}
\newcommand{\afourteenxeleven}{}
\newcommand{\afourteenxtwelve}{}
\newcommand{\afifteenxone}{}
\newcommand{\afifteenxtwo}{}
\newcommand{\afifteenxthree}{}
\newcommand{\afifteenxfour}{}
\newcommand{\afifteenxfive}{}
\newcommand{\afifteenxsix}{}
\newcommand{\afifteenxseven}{}
\newcommand{\afifteenxeight}{}
\newcommand{\afifteenxnine}{}
\newcommand{\afifteenxten}{}
\newcommand{\afifteenxeleven}{}
\newcommand{\afifteenxtwelve}{}
\newcommand{\asixteenxone}{}
\newcommand{\asixteenxtwo}{}
\newcommand{\asixteenxthree}{}
\newcommand{\asixteenxfour}{}
\newcommand{\asixteenxfive}{}
\newcommand{\asixteenxsix}{}
\newcommand{\asixteenxseven}{}
\newcommand{\asixteenxeight}{}
\newcommand{\asixteenxnine}{}
\newcommand{\asixteenxten}{}
\newcommand{\asixteenxeleven}{}
\newcommand{\asixteenxtwelve}{}
\newcommand{\aseventeenxone}{}
\newcommand{\aseventeenxtwo}{}
\newcommand{\aseventeenxthree}{}
\newcommand{\aseventeenxfour}{}
\newcommand{\aseventeenxfive}{}
\newcommand{\aseventeenxsix}{}
\newcommand{\aseventeenxseven}{}
\newcommand{\aseventeenxeight}{}
\newcommand{\aseventeenxnine}{}
\newcommand{\aseventeenxten}{}
\newcommand{\aseventeenxeleven}{}
\newcommand{\aseventeenxtwelve}{}
\newcommand{\aeightteenxone}{}
\newcommand{\aeightteenxtwo}{}
\newcommand{\aeightteenxthree}{}
\newcommand{\aeightteenxfour}{}
\newcommand{\aeightteenxfive}{}
\newcommand{\aeightteenxsix}{}
\newcommand{\aeightteenxseven}{}
\newcommand{\aeightteenxeight}{}
\newcommand{\aeightteenxnine}{}
\newcommand{\aeightteenxten}{}
\newcommand{\aeightteenxeleven}{}
\newcommand{\aeightteenxtwelve}{}
%Project:Semantic templates/Tables with named parameters/Latex
%Tables with two rows
\newcommand{\tableleadtwoxtwo}{
\begin{center}
\begin{tabular}{|c||c|c|}
\hline \leadrowzero & \leadrowone & \leadrowtwo \\
\hline \hline \leadcolumnone & $ \aonexone $ & $ \aonextwo $ \\
\hline \leadcolumntwo & $ \atwoxone $ & $ \atwoxtwo $ \\
\hline
\end{tabular}
\end{center} }
%Tables with three rows
\newcommand{\tableleadthreexthree}{
\begin{center}
\begin{tabular}{|c||c|c|c||}
\hline \leadrowzero & \leadrowone & \leadrowtwo & \leadrowthree \\
\hline \hline \leadcolumnone & $ \aonexone $ & $ \aonextwo $ & $ \aonexthree $ \\
\hline \leadcolumntwo & $ \atwoxone $ & $ \atwoxtwo $ & $ \atwoxthree $ \\
\hline \leadcolumnthree & $ \athreexone $ & $ \athreextwo $ & $ \athreexthree $ \\
\hline
\end{tabular}
\end{center} }
\newcommand{\tableleadthreexfour}{
\begin{center}
\begin{tabular}{|c||c|c|c|c||}
\hline \leadrowzero & \leadrowone & \leadrowtwo & \leadrowthree & \leadrowfour \\
\hline \hline \leadcolumnone & $ \aonexone $ & $ \aonextwo $ & $ \aonexthree $ & $ \aonexfour $ \\
\hline \leadcolumntwo & $ \atwoxone $ & $ \atwoxtwo $ & $ \atwoxthree $ & $ \atwoxfour $ \\
\hline \leadcolumnthree & $ \athreexone $ & $ \athreextwo $ & $ \athreexthree $ & $ \athreexfour $ \\
\hline
\end{tabular}
\end{center} }
\newcommand{\tableleadthreexsix}{
\begin{center}
\begin{tabular}{|c||c|c|c|c|c|c|}
\hline \leadrowzero & \leadrowone & \leadrowtwo & \leadrowthree & \leadrowfour & \leadrowfive & \leadrowsix \\
\hline \hline \leadcolumnone & $ \aonexone $ & $ \aonextwo $ & $ \aonexthree $ & $ \aonexfour $ & $ \aonexfive $ & $ \aonexsix $ \\
\hline \leadcolumntwo & $ \atwoxone $ & $ \atwoxtwo $ & $ \atwoxthree $ & $ \atwoxfour $ & $ \atwoxfive $ & $ \atwoxsix $ \\
\hline \leadcolumnthree & $ \athreexone $ & $ \athreextwo $ & $ \athreexthree $ & $ \athreexfour $ & $ \athreexfive $ & $ \athreexsix $ \\
\hline
\end{tabular}
\end{center} }
\newcommand{\tableleadthreexeleven}{
\begin{center}
\begin{tabular}{|c||c|c|c|c|c|c|c|c|c|c|c|}
\hline \leadrowzero & \leadrowone & \leadrowtwo & \leadrowthree & \leadrowfour & \leadrowfive & \leadrowsix & \leadrowseven & \leadroweight & \leadrownine & \leadrowten & \leadroweleven \\
\hline \hline \leadcolumnone & $ \aonexone $ & $ \aonextwo $ & $ \aonexthree $ & $ \aonexfour $ & $ \aonexfive $ & $ \aonexsix $ & $ \aonexseven $ & $ \aonexeight $ & $ \aonexnine $ & $ \aonexten $ & $ \aonexeleven $ \\
\hline \leadcolumntwo & $ \atwoxone $ & $ \atwoxtwo $ & $ \atwoxthree $ & $ \atwoxfour $ & $ \atwoxfive $ & $ \atwoxsix $ & $ \atwoxseven $ & $ \atwoxeight $ & $ \atwoxnine $ & $ \atwoxten $ & $ \atwoxeleven $ \\
\hline \leadcolumnthree & $ \athreexone $ & $ \athreextwo $ & $ \athreexthree $ & $ \athreexfour $ & $ \athreexfive $ & $ \athreexsix $ & $ \athreexseven $ & $ \athreexeight $ & $ \athreexnine $ & $ \athreexten $ & $ \athreexeleven $ \\
\hline
\end{tabular}
\end{center} }
%Tables with four rows
\newcommand{\tableleadfourxtwo}{
\begin{center}
\begin{tabular}{|c||c|c|}
\hline \leadrowzero & \leadrowone & \leadrowtwo \\
\hline \hline \leadcolumnone & $ \aonexone $ & $ \aonextwo $ \\
\hline \leadcolumntwo & $ \atwoxone $ & $ \atwoxtwo $ \\
\hline \leadcolumnthree & $ \athreexone $ & $ \athreextwo $ \\
\hline \leadcolumnfour & $ \afourxone $ & $ \afourxtwo $ \\
\hline
\end{tabular}
\end{center} }
\newcommand{\tableleadfourxthree}{
\begin{center}
\begin{tabular}{|c||c|c|c|}
\hline \leadrowzero & \leadrowone & \leadrowtwo & \leadrowthree \\
\hline \hline \leadcolumnone & $ \aonexone $ & $ \aonextwo $ & $ \aonexthree $ \\
\hline \leadcolumntwo & $ \atwoxone $ & $ \atwoxtwo $ & $ \atwoxthree $ \\
\hline \leadcolumnthree & $ \athreexone $ & $ \athreextwo $ & $ \athreexthree $ \\
\hline \leadcolumnfour & $ \afourxone $ & $ \afourxtwo $ & $ \afourxthree $ \\
\hline
\end{tabular}
\end{center} }
\newcommand{\tableleadfourxfour}{
\begin{center}
\begin{tabular}{|c||c|c|c|c|}
\hline \leadrowzero & \leadrowone & \leadrowtwo & \leadrowthree & \leadrowfour \\
\hline \hline \leadcolumnone & $ \aonexone $ & $ \aonextwo $ & $ \aonexthree $ & $ \aonexfour $ \\
\hline \leadcolumntwo & $ \atwoxone $ & $ \atwoxtwo $ & $ \atwoxthree $ & $ \atwoxfour $ \\
\hline \leadcolumnthree & $ \athreexone $ & $ \athreextwo $ & $ \athreexthree $ & $ \athreexfour $ \\
\hline \leadcolumnfour & $ \afourxone $ & $ \afourxtwo $ & $ \afourxthree $ & $ \afourxfour $ \\
\hline
\end{tabular}
\end{center} }
\newcommand{\tableleadtextfourxtwo}{
\begin{center}
\begin{tabular}{|c||c|c|}
\hline \leadrowzero & \leadrowone & \leadrowtwo \\
\hline \hline \leadcolumnone & \aonexone & \aonextwo \\
\hline \leadcolumntwo & \atwoxone & \atwoxtwo \\
\hline \leadcolumnthree & \athreexone & \athreextwo \\
\hline \leadcolumnfour & \afourxone & \afourxtwo \\
\hline
\end{tabular}
\end{center} }
\newcommand{\tableleadfourxeight}{
\begin{center}
\begin{tabular}{|c||c|c|c|c|c|c|c|c|}
\hline \leadrowzero & \leadrowone & \leadrowtwo & \leadrowthree & \leadrowfour & \leadrowfive & \leadrowsix & \leadrowseven & \leadroweight \\
\hline \hline \leadcolumnone & $ \aonexone $ & $ \aonextwo $ & $ \aonexthree $ & $ \aonexfour $ & $ \aonexfive $ & $ \aonexsix $ & $ \aonexseven $ & $ \aonexeight $ \\
\hline \leadcolumntwo & $ \atwoxone $ & $ \atwoxtwo $ & $ \atwoxthree $ & $ \atwoxfour $ & $ \atwoxfive $ & $ \atwoxsix $ & $ \atwoxseven $ & $ \atwoxeight $ \\
\hline \leadcolumnthree & $ \athreexone $ & $ \athreextwo $ & $ \athreexthree $ & $ \athreexfour $ & $ \athreexfive $ & $ \athreexsix $ & $ \athreexseven $ & $ \athreexeight $ \\
\hline \leadcolumnfour & $ \afourxone $ & $ \afourxtwo $ & $ \afourxthree $ & $ \afourxfour $ & $ \afourxfive $ & $ \afourxsix $ & $ \afourxseven $ & $ \afourxeight $ \\
\hline
\end{tabular}
\end{center} }
%Tables with five rows
\newcommand{\tableleadfivexfive}{
\begin{center}
\begin{tabular}{|c||c|c|c|c|c|}
\hline \leadrowzero & \leadrowone & \leadrowtwo & \leadrowthree & \leadrowfour & \leadrowfive \\
\hline \hline \leadcolumnone & $ \aonexone $ & $ \aonextwo $ & $ \aonexthree $ & $ \aonexfour $ & $ \aonexfive $ \\
\hline \leadcolumntwo & $ \atwoxone $ & $ \atwoxtwo $ & $ \atwoxthree $ & $ \atwoxfour $ & $ \atwoxfive $ \\
\hline \leadcolumnthree & $ \athreexone $ & $ \athreextwo $ & $ \athreexthree $ & $ \athreexfour $ & $ \athreexfive $ \\
\hline \leadcolumnfour & $ \afourxone $ & $ \afourxtwo $ & $ \afourxthree $ & $ \afourxfour $ & $ \afourxfive $ \\
\hline \leadcolumnfive & $ \afivexone $ & $ \afivextwo $ & $ \afivexthree $ & $ \afivexfour $ & $ \afivexfive $ \\
\hline
\end{tabular}
\end{center} }
%Tables with six rows
\newcommand{\tableleadsixxthree}{
\begin{center}
\begin{tabular}{|c||c|c|c|}
\hline \leadrowzero & \leadrowone & \leadrowtwo & \leadrowthree \\
\hline \hline \leadcolumnone & $ \aonexone $ & $ \aonextwo $ & $ \aonexthree $ \\
\hline \leadcolumntwo & $ \atwoxone $ & $ \atwoxtwo $ & $ \atwoxthree $ \\
\hline \leadcolumnthree & $ \athreexone $ & $ \athreextwo $ & $ \athreexthree $ \\
\hline \leadcolumnfour & $ \afourxone $ & $ \afourxtwo $ & $ \afourxthree $ \\
\hline \leadcolumnfive & $ \afivexone $ & $ \afivextwo $ & $ \afivexthree $ \\
\hline \leadcolumnsix & $ \asixxone $ & $ \asixxtwo $ & $ \asixxthree $ \\
\hline
\end{tabular}
\end{center} }
\newcommand{\tableleadsixxfive}{
\begin{center}
\begin{tabular}{|c||c|c|c|c|c|}
\hline \leadrowzero & \leadrowone & \leadrowtwo & \leadrowthree & \leadrowfour & \leadrowfive \\
\hline \hline \leadcolumnone & $ \aonexone $ & $ \aonextwo $ & $ \aonexthree $ & $ \aonexfour $ & $ \aonexfive $ \\
\hline \leadcolumntwo & $ \atwoxone $ & $ \atwoxtwo $ & $ \atwoxthree $ & $ \atwoxfour $ & $ \atwoxfive $ \\
\hline \leadcolumnthree & $ \athreexone $ & $ \athreextwo $ & $ \athreexthree $ & $ \athreexfour $ & $ \athreexfive $ \\
\hline \leadcolumnfour & $ \afourxone $ & $ \afourxtwo $ & $ \afourxthree $ & $ \afourxfour $ & $ \afourxfive $ \\
\hline \leadcolumnfive & $ \afivexone $ & $ \afivextwo $ & $ \afivexthree $ & $ \afivexfour $ & $ \afivexfive $ \\
\hline \leadcolumnsix & $ \asixxone $ & $ \asixxtwo $ & $ \asixxthree $ & $ \asixxfour $ & $ \asixxfive $ \\
\hline
\end{tabular}
\end{center} }
\newcommand{\tableleadsixxsix}{
\begin{center}
\begin{tabular}{|c||c|c|c|c|c|c|}
\hline \leadrowzero & \leadrowone & \leadrowtwo & \leadrowthree & \leadrowfour & \leadrowfive & \leadrowsix \\
\hline \hline \leadcolumnone & $ \aonexone $ & $ \aonextwo $ & $ \aonexthree $ & $ \aonexfour $ & $ \aonexfive $ & $ \aonexsix $ \\
\hline \leadcolumntwo & $ \atwoxone $ & $ \atwoxtwo $ & $ \atwoxthree $ & $ \atwoxfour $ & $ \atwoxfive $ & $ \atwoxsix $ \\
\hline \leadcolumnthree & $ \athreexone $ & $ \athreextwo $ & $ \athreexthree $ & $ \athreexfour $ & $ \athreexfive $ & $ \athreexsix $ \\
\hline \leadcolumnfour & $ \afourxone $ & $ \afourxtwo $ & $ \afourxthree $ & $ \afourxfour $ & $ \afourxfive $ & $ \afourxsix $ \\
\hline \leadcolumnfive & $ \afivexone $ & $ \afivextwo $ & $ \afivexthree $ & $ \afivexfour $ & $ \afivexfive $ & $ \afivexsix $ \\
\hline \leadcolumnsix & $ \asixxone $ & $ \asixxtwo $ & $ \asixxthree $ & $ \asixxfour $ & $ \asixxfive $ & $ \asixxsix $ \\
\hline
\end{tabular}
\end{center} }
%Tables with seven rows
\newcommand{\tableleadsevenxseven}{
\begin{center}
\begin{tabular}{|c||c|c|c|c|c|c|c|}
\hline \leadrowzero & \leadrowone & \leadrowtwo & \leadrowthree & \leadrowfour & \leadrowfive & \leadrowsix & \leadrowseven \\
\hline \hline \leadcolumnone & $ \aonexone $ & $ \aonextwo $ & $ \aonexthree $ & $ \aonexfour $ & $ \aonexfive $ & $ \aonexsix $ & $ \aonexseven $ \\
\hline \leadcolumntwo & $ \atwoxone $ & $ \atwoxtwo $ & $ \atwoxthree $ & $ \atwoxfour $ & $ \atwoxfive $ & $ \atwoxsix $ & $ \atwoxseven $ \\
\hline \leadcolumnthree & $ \athreexone $ & $ \athreextwo $ & $ \athreexthree $ & $ \athreexfour $ & $ \athreexfive $ & $ \athreexsix $ & $ \athreexseven $ \\
\hline \leadcolumnfour & $ \afourxone $ & $ \afourxtwo $ & $ \afourxthree $ & $ \afourxfour $ & $ \afourxfive $ & $ \afourxsix $ & $ \afourxseven $ \\
\hline \leadcolumnfive & $ \afivexone $ & $ \afivextwo $ & $ \afivexthree $ & $ \afivexfour $ & $ \afivexfive $ & $ \afivexsix $ & $ \afivexseven $ \\
\hline \leadcolumnsix & $ \asixxone $ & $ \asixxtwo $ & $ \asixxthree $ & $ \asixxfour $ & $ \asixxfive $ & $ \asixxsix $ & $ \asixxseven $ \\
\hline \leadcolumnseven & $ \asevenxone $ & $ \asevenxtwo $ & $ \asevenxthree $ & $ \asevenxfour $ & $ \asevenxfive $ & $ \asevenxsix $ & $ \asevenxseven $ \\
\hline
\end{tabular}
\end{center} }
%Tables with eight rows
\newcommand{\tableleadeightxthree}{
\begin{center}
\begin{tabular}{|c||c|c|c|}
\hline \leadrowzero & \leadrowone & \leadrowtwo & \leadrowthree \\
\hline \hline \leadcolumnone & $ \aonexone $ & $ \aonextwo $ & $ \aonexthree $ \\
\hline \leadcolumntwo & $ \atwoxone $ & $ \atwoxtwo $ & $ \atwoxthree $ \\
\hline \leadcolumnthree & $ \athreexone $ & $ \athreextwo $ & $ \athreexthree $ \\
\hline \leadcolumnfour & $ \afourxone $ & $ \afourxtwo $ & $ \afourxthree $ \\
\hline \leadcolumnfive & $ \afivexone $ & $ \afivextwo $ & $ \afivexthree $ \\
\hline \leadcolumnsix & $ \asixxone $ & $ \asixxtwo $ & $ \asixxthree $ \\
\hline \leadcolumnseven & $ \asevenxone $ & $ \asevenxtwo $ & $ \asevenxthree $ \\
\hline \leadcolumneight & $ \aeightxone $ & $ \aeightxtwo $ & $ \aeightxthree $ \\
\hline
\end{tabular}
\end{center} }
%Tables with eleven rows
\newcommand{\tableleadelevenxfour}{
\begin{center}
\begin{tabular}{|c||c|c|c|c|}
\hline \leadrowzero & \leadrowone & \leadrowtwo & \leadrowthree & \leadrowfour \\
\hline \hline \leadcolumnone & $ \aonexone $ & $ \aonextwo $ & $ \aonexthree $ & $ \aonexfour $ \\
\hline \leadcolumntwo & $ \atwoxone $ & $ \atwoxtwo $ & $ \atwoxthree $ & $ \atwoxfour $ \\
\hline \leadcolumnthree & $ \athreexone $ & $ \athreextwo $ & $ \athreexthree $ & $ \athreexfour $ \\
\hline \leadcolumnfour & $ \afourxone $ & $ \afourxtwo $ & $ \afourxthree $ & $ \afourxfour $ \\
\hline \leadcolumnfive & $ \afivexone $ & $ \afivextwo $ & $ \afivexthree $ & $ \afivexfour $ \\
\hline \leadcolumnsix & $ \asixxone $ & $ \asixxtwo $ & $ \asixxthree $ & $ \asixxfour $ \\
\hline \leadcolumnseven & $ \asevenxone $ & $ \asevenxtwo $ & $ \asevenxthree $ & $ \asevenxfour $ \\
\hline \leadcolumneight & $ \aeightxone $ & $ \aeightxtwo $ & $ \aeightxthree $ & $ \aeightxfour $ \\
\hline \leadcolumnnine & $ \aninexone $ & $ \aninextwo $ & $ \aninexthree $ & $ \aninexfour $ \\
\hline \leadcolumnten & $ \atenxone $ & $ \atenxtwo $ & $ \atenxthree $ & $ \atenxfour $ \\
\hline \leadcolumneleven & $ \aelevenxone $ & $ \aelevenxtwo $ & $ \aelevenxthree $ & $ \aelevenxfour $ \\
\hline
\end{tabular}
\end{center} }
%Tables with twelve rows
\newcommand{\tableleadtwelvexseven}{
\begin{center}
\begin{tabular}{|c||c|c|c|c|c|c|}
\hline \leadrowzero & \leadrowone & \leadrowtwo & \leadrowthree & \leadrowfour & \leadrowfive & \leadrowsix & \leadrowseven \\
\hline \hline \leadcolumnone & $ \aonexone $ & $ \aonextwo $ & $ \aonexthree $ & $ \aonexfour $ & $ \aonexfive $ & $ \aonexsix $ & $ \aonexseven $ \\
\hline \leadcolumntwo & $ \atwoxone $ & $ \atwoxtwo $ & $ \atwoxthree $ & $ \atwoxfour $ & $ \atwoxfive $ & $ \atwoxsix $ & $ \atwoxseven $ \\
\hline \leadcolumnthree & $ \athreexone $ & $ \athreextwo $ & $ \athreexthree $ & $ \athreexfour $ & $ \athreexfive $ & $ \athreexsix $ & $ \athreexseven $ \\
\hline \leadcolumnfour & $ \afourxone $ & $ \afourxtwo $ & $ \afourxthree $ & $ \afourxfour $ & $ \afourxfive $ & $ \afourxsix $ & $ \afourxseven $ \\
\hline \leadcolumnfive & $ \afivexone $ & $ \afivextwo $ & $ \afivexthree $ & $ \afivexfour $ & $ \afivexfive $ & $ \afivexsix $ & $ \afivexseven $ \\
\hline \leadcolumnsix & $ \asixxone $ & $ \asixxtwo $ & $ \asixxthree $ & $ \asixxfour $ & $ \asixxfive $ & $ \asixxsix $ & $ \asixxseven $ \\
\hline \leadcolumnseven & $ \asevenxone $ & $ \asevenxtwo $ & $ \asevenxthree $ & $ \asevenxfour $ & $ \asevenxfive $ & $ \asevenxsix $ & $ \asevenxseven $ \\
\hline \leadcolumneight & $ \aeightxone $ & $ \aeightxtwo $ & $ \aeightxthree $ & $ \aeightxfour $ & $ \aeightxfive $ & $ \aeightxsix $ & $ \aeightxseven $ \\
\hline \leadcolumnnine & $ \aninexone $ & $ \aninextwo $ & $ \aninexthree $ & $ \aninexfour $ & $ \aninexfive $ & $ \aninexsix $ & $ \aninexseven $ \\
\hline \leadcolumnten & $ \atenxone $ & $ \atenxtwo $ & $ \atenxthree $ & $ \atenxfour $ & $ \atenxfive $ & $ \atenxsix $ & $ \atenxseven $ \\
\hline \leadcolumneleven & $ \aelevenxone $ & $ \aelevenxtwo $ & $ \aelevenxthree $ & $ \aelevenxfour $ & $ \aelevenxfive $ & $ \aelevenxsix $ & $ \aelevenxseven $ \\
\hline \leadcolumntwelve & $ \atwelvexone $ & $ \atwelvextwo $ & $ \atwelvexthree $ & $ \twelvexfour $ & $ \atwelvexfive $ & $ \atwelvexsix $ & $ \twelvexseven $ \\
\hline
\end{tabular}
\end{center} }
%Tables with sixteen rows
\newcommand{\tableleadsixteenxtwo}{
\begin{center}
\begin{tabular}{|c||c|c|}
\hline \leadrowzero & \leadrowone & \leadrowtwo \\
\hline \hline \leadcolumnone & $ \aonexone $ & $ \aonextwo $ \\
\hline \leadcolumntwo & $ \atwoxone $ & $ \atwoxtwo $ \\
\hline \leadcolumnthree & $ \athreexone $ & $ \athreextwo $ \\
\hline \leadcolumnfour & $ \afourxone $ & $ \afourxtwo $ \\
\hline \leadcolumnfive & $ \afivexone $ & $ \afivextwo $ \\
\hline \leadcolumnsix & $ \asixxone $ & $ \asixxtwo $ \\
\hline \leadcolumnseven & $ \asevenxone $ & $ \asevenxtwo $ \\
\hline \leadcolumneight & $ \aeightxone $ & $ \aeightxtwo $ \\
\hline \leadcolumnnine & $ \aninexone $ & $ \aninextwo $ \\
\hline \leadcolumnten & $ \atenxone $ & $ \atenxtwo $ \\
\hline \leadcolumneleven & $ \aelevenxone $ & $ \aelevenxtwo $ \\
\hline \leadcolumntwelve & $ \atwelvexone $ & $ \atwelvextwo $ \\
\hline \leadcolumnthirteen & $ \athirteenxone $ & $ \athirteenxtwo $ \\
\hline \leadcolumnfourteen & $ \afourteenxone $ & $ \afourteenxtwo $ \\
\hline \leadcolumnfifteen & $ \afifteenxone $ & $ \afifteenxtwo $ \\
\hline \leadcolumnsixteen & $ \asixteenxone $ & $ \asixteenxtwo $ \\
\hline
\end{tabular}
\end{center} }
\newcommand{\tableleadsixteenxsix}{
\begin{center}
\begin{tabular}{|c||c|c|c|c|c|c|}
\hline \leadrowzero & \leadrowone & \leadrowtwo & \leadrowthree & \leadrowfour & \leadrowfive & \leadrowsix \\
\hline \hline \leadcolumnone & $ \aonexone $ & $ \aonextwo $ & $ \aonexthree $ & $ \aonexfour $ & $ \aonexfive $ & $ \aonexsix $ \\
\hline \leadcolumntwo & $ \atwoxone $ & $ \atwoxtwo $ & $ \atwoxthree $ & $ \atwoxfour $ & $ \atwoxfive $ & $ \atwoxsix $ \\
\hline \leadcolumnthree & $ \athreexone $ & $ \athreextwo $ & $ \athreexthree $ & $ \athreexfour $ & $ \athreexfive $ & $ \athreexsix $ \\
\hline \leadcolumnfour & $ \afourxone $ & $ \afourxtwo $ & $ \afourxthree $ & $ \afourxfour $ & $ \afourxfive $ & $ \afourxsix $ \\
\hline \leadcolumnfive & $ \afivexone $ & $ \afivextwo $ & $ \afivexthree $ & $ \afivexfour $ & $ \afivexfive $ & $ \afivexsix $ \\
\hline \leadcolumnsix & $ \asixxone $ & $ \asixxtwo $ & $ \asixxthree $ & $ \asixxfour $ & $ \asixxfive $ & $ \asixxsix $ \\
\hline \leadcolumnseven & $ \asevenxone $ & $ \asevenxtwo $ & $ \asevenxthree $ & $ \asevenxfour $ & $ \asevenxfive $ & $ \asevenxsix $ \\
\hline \leadcolumneight & $ \aeightxone $ & $ \aeightxtwo $ & $ \aeightxthree $ & $ \aeightxfour $ & $ \aeightxfive $ & $ \aeightxsix $ \\
\hline \leadcolumnnine & $ \aninexone $ & $ \aninextwo $ & $ \aninexthree $ & $ \aninexfour $ & $ \aninexfive $ & $ \aninexsix $ \\
\hline \leadcolumnten & $ \atenxone $ & $ \atenxtwo $ & $ \atenxthree $ & $ \atenxfour $ & $ \atenxfive $ & $ \atenxsix $ \\
\hline \leadcolumneleven & $ \aelevenxone $ & $ \aelevenxtwo $ & $ \aelevenxthree $ & $ \aelevenxfour $ & $ \aelevenxfive $ & $ \aelevenxsix $ \\
\hline \leadcolumntwelve & $ \atwelvexone $ & $ \atwelvextwo $ & $ \atwelvexthree $ & $ \atwelvexfour $ & $ \atwelvexfive $ & $ \atwelvexsix $ \\
\hline \leadcolumnthirteen & $ \athirteenxone $ & $ \athirteenxtwo $ & $ \athirteenxthree $ & $ \athirteenxfour $ & $ \athirteenxfive $ & $ \athirteenxsix $ \\
\hline \leadcolumnfourteen & $ \afourteenxone $ & $ \afourteenxtwo $ & $ \afourteenxthree $ & $ \afourteenxfour $ & $ \afourteenxfive $ & $ \afourteenxsix $ \\
\hline \leadcolumnfifteen & $ \afifteenxone $ & $ \afifteenxtwo $ & $ \afifteenxthree $ & $ \afifteenxfour $ & $ \afifteenxfive $ & $ \afifteenxsix $ \\
\hline \leadcolumnsixteen & $ \asixteenxone $ & $ \asixteenxtwo $ & $ \asixteenxthree $ & $ \asixteenxfour $ & $ \asixteenxfive $ & $ \asixteenxsix $ \\
\hline
\end{tabular}
\end{center} }
%Tables with eightteen rows
\newcommand{\tableleadeightteenxnine}{
\begin{center}
\begin{tabular}{|c||c|c|c|c|c|c|c|c|c|}
\hline \leadrowzero & \leadrowone & \leadrowtwo & \leadrowthree & \leadrowfour & \leadrowfive & \leadrowsix & \leadrowseven & \leadroweight & \leadrownine \\
\hline \hline \leadcolumnone & $ \aonexone $ & $ \aonextwo $ & $ \aonexthree $ & $ \aonexfour $ & $ \aonexfive $ & $ \aonexsix $ & $ \aonexseven $ & $ \aonexeight $ & $ \aonexnine $ \\
\hline \leadcolumntwo & $ \atwoxone $ & $ \atwoxtwo $ & $ \atwoxthree $ & $ \atwoxfour $ & $ \atwoxfive $ & $ \atwoxsix $ & $ \atwoxseven $ & $ \atwoxeight $ & $ \atwoxnine $ \\
\hline \leadcolumnthree & $ \athreexone $ & $ \athreextwo $ & $ \athreexthree $ & $ \athreexfour $ & $ \athreexfive $ & $ \athreexsix $ & $ \athreexseven $ & $ \athreexeight $ & $ \athreexnine $ \\
\hline \leadcolumnfour & $ \afourxone $ & $ \afourxtwo $ & $ \afourxthree $ & $ \afourxfour $ & $ \afourxfive $ & $ \afourxsix $ & $ \afourxseven $ & $ \afourxeight $ & $ \afourxnine $ \\
\hline \leadcolumnfive & $ \afivexone $ & $ \afivextwo $ & $ \afivexthree $ & $ \afivexfour $ & $ \afivexfive $ & $ \afivexsix $ & $ \afivexseven $ & $ \afivexeight $ & $ \afivexnine $ \\
\hline \leadcolumnsix & $ \asixxone $ & $ \asixxtwo $ & $ \asixxthree $ & $ \asixxfour $ & $ \asixxfive $ & $ \asixxsix $ & $ \asixxseven $ & $ \asixxeight $ & $ \asixxnine $ \\
\hline \leadcolumnseven & $ \asevenxone $ & $ \asevenxtwo $ & $ \asevenxthree $ & $ \asevenxfour $ & $ \asevenxfive $ & $ \asevenxsix $ & $ \asevenxseven $ & $ \asevenxeight $ & $ \asevenxnine $ \\
\hline \leadcolumneight & $ \aeightxone $ & $ \aeightxtwo $ & $ \aeightxthree $ & $ \aeightxfour $ & $ \aeightxfive $ & $ \aeightxsix $ & $ \aeightxseven $ & $ \aeightxeight $ & $ \aeightxnine $ \\
\hline \leadcolumnnine & $ \aninexone $ & $ \aninextwo $ & $ \aninexthree $ & $ \aninexfour $ & $ \aninexfive $ & $ \aninexsix $ & $ \aninexseven $ & $ \aninexeight $ & $ \aninexnine $ \\
\hline \leadcolumnten & $ \atenxone $ & $ \atenxtwo $ & $ \atenxthree $ & $ \atenxfour $ & $ \atenxfive $ & $ \atenxsix $ & $ \atenxseven $ & $ \atenxeight $ & $ \atenxnine $ \\
\hline \leadcolumneleven & $ \aelevenxone $ & $ \aelevenxtwo $ & $ \aelevenxthree $ & $ \aelevenxfour $ & $ \aelevenxfive $ & $ \aelevenxsix $ & $ \aelevenxseven $ & $ \aelevenxeight $ & $ \aelevenxnine $ \\
\hline \leadcolumntwelve & $ \atwelvexone $ & $ \atwelvextwo $ & $ \atwelvexthree $ & $ \atwelvexfour $ & $ \atwelvexfive $ & $ \atwelvexsix $ & $ \atwelvexseven $ & $ \atwelvexeight $ & $ \atwelvexnine $ \\
\hline \leadcolumnthirteen & $ \athirteenxone $ & $ \athirteenxtwo $ & $ \athirteenxthree $ & $ \athirteenxfour $ & $ \athirteenxfive $ & $ \athirteenxsix $ & $ \athirteenxseven $ & $ \athirteenxeight $ & $ \athirteenxnine $ \\
\hline \leadcolumnfourteen & $ \afourteenxone $ & $ \afourteenxtwo $ & $ \afourteenxthree $ & $ \afourteenxfour $ & $ \afourteenxfive $ & $ \afourteenxsix $ & $ \afourteenxseven $ & $ \afourteenxeight $ & $ \afourteenxnine $ \\
\hline \leadcolumnfifteen & $ \afifteenxone $ & $ \afifteenxtwo $ & $ \afifteenxthree $ & $ \afifteenxfour $ & $ \afifteenxfive $ & $ \afifteenxsix $ & $ \afifteenxseven $ & $ \afifteenxeight $ & $ \afifteenxnine $ \\
\hline \leadcolumnsixteen & $ \asixteenxone $ & $ \asixteenxtwo $ & $ \asixteenxthree $ & $ \asixteenxfour $ & $ \asixteenxfive $ & $ \asixteenxsix $ & $ \asixteenxseven $ & $ \asixteenxeight $ & $ \asixteenxnine $ \\
\hline \leadcolumnseventeen & $ \aseventeenxone $ & $ \aseventeenxtwo $ & $ \aseventeenxthree $ & $ \aseventeenxfour $ & $ \aseventeenxfive $ & $ \aseventeenxsix $ & $ \aseventeenxseven $ & $ \aseventeenxeight $ & $ \aseventeenxnine $ \\
\hline \leadcolumneightteen & $ \aeightteenxone $ & $ \aeightteenxtwo $ & $ \aeightteenxthree $ & $ \aeightteenxfour $ & $ \aeightteenxfive $ & $ \aeightteenxsix $ & $ \aeightteenxseven $ & $ \aeightteenxeight $ & $ \aeightteenxnine $ \\
\hline
\end{tabular}
\end{center} }
%End of basic header
%Global structures
\newcommand{\pagetitle}[1]{\pagetitlepreskip \begin{center} \large{ #1} \end{center} \pagetitlepostskip}
\newcommand{\subtitle}[1]{ \subtitlepreskip \begin{center} {\bf #1} \end{center} \subtitlepostskip}
\newcommand{\subtitleexercise}[1]{ \subtitlepreskip \begin{center} {\bf #1} \end{center} \subtitlepostkip}
\newcommand{\mathl}[2]{$#1$#2}
\newcommand{\mathlb}[2]{$#1$#2}
%Design of vertical and horizontal distances
%Project:Semantic templates/Lecture notes/Skips/Latex
\newcommand{\pagetitlepreskip}{\par \bigskip \bigskip \bigskip }
\newcommand{\pagetitlepostskip}{\par \bigskip}
\newcommand{\subtitlepreskip}{\par \bigskip}
\newcommand{\subtitlepostskip}{\par \smallskip}
%Enumeration and lists
\newcommand{\listskip}{\smallskip}
%Distances for mathematical structures
\newcommand{\exercisepreskip}{\bigskip}
\newcommand{\exercisepointskip}{\par}
\newcommand{\exercisepostskip}{}
\newcommand{\exercisesolutionskip}{\par \bigskip}
\newcommand{\examplepreskip}{}
\newcommand{\examplepostskip}{}
\newcommand{\examplenamepostskip}{}
\newcommand{\remarkpreskip}{}
\newcommand{\remarkpostskip}{}
\newcommand{\remarknamepostskip}{}
\newcommand{\definitionpreskip}{}
\newcommand{\definitionpostskip}{}
\newcommand{\definitionnamepostskip}{}
\newcommand{\factpreskip}{}
\newcommand{\factpostskip}{}
\newcommand{\factnamepreskip}{}
\newcommand{\factnamepostskip}{}
\newcommand{\factsituationskip}{}
\newcommand{\factconditionskip}{}
\newcommand{\factsegueskip}{}
\newcommand{\factconclusionskip}{}
\newcommand{\factextraskip}{}
%Page design
%Project:Semantic templates/Lecture notes/Page design/Latex
%Some distances
\setlength{\oddsidemargin}{1.5cm}
\setlength{\evensidemargin}{1.5cm}
\setlength{\textwidth}{13.7cm}
\setlength{\textheight}{22cm}
\setlength{\topmargin}{1cm}
\setlength{\footskip}{1cm}
\setlength{\parindent}{0cm}
\setlength{\parskip}{1ex}
%Image design
%Project:Semantic templates/Lecture notes/Image design/Latex
\newcommand{\image}[1]{\vspace{4mm} #1}
\newcommand{\imagetext}[1]{\begin{center} {\small #1 } \end{center} }
%Local settings
%\input{Lokalername}
\newcommand{\imageinclude}[1]{../../../brenner/bilderundgraphiken/#1}
%Licensing
%Project:Semantic templates/Lecture notes/Licensing
\newcommand{\Licensetext}{License declaration: This page was written by Holger Brenner alias Bocardodarapti on the English Wikiversity, and is under the license CC-by-sa 3.0 .}
\newcommand{\Imageslicensing}{ License declaration for Pdf-file/Commons/Short version }
%Configuration for register of images
\newcommand{\imagelicense}[6]{ \ifthenelse {\equal{#2}{}} {\addcontentsline{lof}{figure}{Source = #1, Author = User #3 on #4, License = #5 \imagelicenseskip }} { \ifthenelse {\equal{#3}{}} { \addcontentsline{lof}{figure}{ Source = #1, Author = #2, Lizenz = #5 \bildlizenzskip }} { \addcontentsline{lof}{figure}{ Source = #1, Author = #2 (uploaded by user #3 on #4), License = #5 \bildlizenzskip }} } }
\newcommand{\imagelicenseskip}{ }