diff --git a/Writerside/topics/04/Theoretische Informatik/Hausaufgaben/ti_hausaufgabe4.md b/Writerside/topics/04/Theoretische Informatik/Hausaufgaben/ti_hausaufgabe4.md
index 9efadcd..4bd5b79 100644
--- a/Writerside/topics/04/Theoretische Informatik/Hausaufgaben/ti_hausaufgabe4.md	
+++ b/Writerside/topics/04/Theoretische Informatik/Hausaufgaben/ti_hausaufgabe4.md	
@@ -117,9 +117,9 @@ Nerode-Index haben. Beide Automaten benötigen ∞ Zustände um n zu speichern
 
 Betrachten Sie die folgenden Sprachen über dem Alphabet $\Sigma = \{ 0, 1, 2 \}$:
 
-- $L_1 = \{ 0^n 1^m \mid n,m \in \mathbb{N} \} \cup \{ 0^n 2^m \mid n,m \in \mathbb{N} \}$
-- $L_2 = \{ 0^n 1^m \mid n,m \in \mathbb{N} \} \cup \{ 2^n 1^m \mid n,m \in \mathbb{N} \}$
-- $L_3 = \{ s \in \Sigma^* \mid \exists s_1 \in \Sigma^* : s = 2 \cdot s_1 \wedge \forall s_2 \in \Sigma^* : s \neq s_2 \cdot 00 \}$
+- $L_1 = \{ 0^n 1^m \space | \space n,m \in \mathbb{N} \} \cup \{ 0^n 2^m \space | \space n,m \in \mathbb{N} \}$
+- $L_2 = \{ 0^n 1^m \space | \space n,m \in \mathbb{N} \} \cup \{ 2^n 1^m \space | \space n,m \in \mathbb{N} \}$
+- $L_3 = \{ s \in \Sigma^* \space | \space \exists s_1 \in \Sigma^* : s = 2 * s_1 \wedge \forall s_2 \in \Sigma^* : s \neq s_2 * 00 \}$
 
 Für welche der angegebenen Sprachen gilt, dass **jeder** endliche Automat, der die Sprache akzeptiert, **mehr als einen 
 akzeptierenden Zustand** hat? Begründen Sie Ihre Antwort für jede der drei Sprachen. 
@@ -134,7 +134,7 @@ akzeptierenden Zustand** hat? Begründen Sie Ihre Antwort für jede der drei Spr
 
 ## Übung 4
 
-Benutzen Sie das Kochrezept aus der Vorlesung, um zu zeigen, dass die Sprache $L = \{ a^n b^n c^n \mid n \in \mathbb{N} 
+Benutzen Sie das Kochrezept aus der Vorlesung, um zu zeigen, dass die Sprache $L = \{ a^n b^n c^n \space | \space n \in \mathbb{N} 
 \}$ von **keinem endlichen Automaten** akzeptiert wird.
 
 
@@ -144,4 +144,4 @@ Benutzen Sie das Kochrezept aus der Vorlesung, um zu zeigen, dass die Sprache $L
 - dann gilt für $w = b^i*c^i$:
   - $u*w=a^i*b^i*c^i ∈ L$
   - $u*v=a^j*b^j*c^j \not ∈ L$
-- → $L-Index ≥ |X| = ∞$, sodass kein DEA $L$ akzeptiert
\ No newline at end of file
+- → $L$-Index $≥ |X| = ∞$, sodass kein DEA $L$ akzeptiert
\ No newline at end of file