Fix two small problems

Author: krypt-n

chapters/500_komplexitaet.tex

@@ -751,7 +751,7 @@ \subsubsection{\texorpdfstring{$\ALC$}{ALC}-Worlds}\label{alc-worlds}
         \[ t_i(d) = \{C \in \sub_i(C_0) \mid d \in C^\MI\} \]
         Idee: Wir verwenden $\MI$, um die nichtdeterministischen Entscheidungen von $\ALC-\texttt{Worlds}(C_0)$ zu einem erfolgreichen Lauf zu \enquote{lenken}. Zu diesen Zweck übergeben wir eine Element $d \in \Delta^\MI$ als virtuelles viertes Argument $p_4$ an \texttt{recurse}, so dass für alle $v \in V$:
         \begin{align*}
-             \tag{*r
+            \tag{*}
              \label{eqn:alc-worlds-impl}
             C \in p_1(v) \implies p_4(v) \in C^\MI
         \end{align*}

chapters/600_el.tex

@@ -626,7 +626,7 @@ \subsection{Erweiterungen von \texorpdfstring{$\EL$}{EL}}\label{erweiterungen-vo
 Viele andere Erweiterungen sind jedoch \textsc{ExpTime}-vollständig (wie $\ALC$). Wir betrachten exemplarisch
 \begin{itemize}
     \item $\mathcal{ELU}$, die Erweiterung von $\EL$ mit $\sqcap$
-    \item $\EL_\forall$, die Erweiterung von $\EL$ mit $\foral r.C$
+    \item $\EL_\forall$, die Erweiterung von $\EL$ mit $\forall r.C$
     \item $\EL^{\geq 2}$, die Erweiterung von $\EL$ mit $\geq 2\ r.\top$
 \end{itemize}