äquivalenzen.tex

\documentclass[10pt, landscape]{article}

\include{header}

\usepackage[top=2cm, bottom=2cm, left=2cm, right=2cm]{geometry} % page margins
\pagenumbering{gobble}
\begin{document}

\Head{Äquivalenzen}
Wir kennen folgende Äquivalenzrelationen:
\newcommand{\ssubset}{\begin{sideways} $\subset$ \end{sideways}}
\newcommand{\ssupset}{\begin{sideways} $\supset$ \end{sideways}}
\newcommand{\noCongr}[1]{{\color{red}#1}}
\[\begin{array} {@{}ccccccccccc}
    &         &                      &         & \sim_{tr}            &         &        & \subset &   &         & \sim_{wtr}            \\
    &         &                      &         & \ssubset             &         &            & &       &         & \ssubset              \\
id  & \subset & \noCongr{\sim_{iso}} & \subset & \sim                 & \subset &  \approx^+ &=& \cong & \subset & \noCongr{\approx}     \\ 
    &         &                      &         & \ssupset             &         &            & &       &         & \ssupset              \\
    &         &                      &         & \noCongr{\sim_{ttr}} &         &        & \subset &   &         & \noCongr{\sim_{wttr}} \\
\end{array}\]
Weitere Inklusionen gelten nicht. Alle, bis auf die \noCongr{gekennzeichneten} Relationen, sind Kongruenzrelationen!
Man beachte, dass in den nun folgenden Beispielen LTS stellvertretend für sie produzierende Ausdrücke in Relation gesetzt werden:
\vspace{0.3cm}

\begin{column}{.44}
	\small
	\svg{trEq_neq_sBiSim}{6cm} 
	\vspace {3cm}
	
	\begin{column}{.5}
		\svg{tr_notIn_ttr}{4.5cm}
		\hspace{0.5cm}
	\nextColumn{.2}
		\svg{sBiSim_notIn_congruence}{4.5cm}
	\end{column}

\hspace{2cm}	
\nextColumn{.33}

	\small
	\svg{iso_incongruent}{6cm}
	
\hspace{1cm}	
\nextColumn{.35}

	\svg{wBisim_incongruent}{5cm}
	
\end{column}

\end{document}