diff --git a/notes/glossar.md b/notes/glossar.md
index 69b1154..180d49d 100644
--- a/notes/glossar.md
+++ b/notes/glossar.md
@@ -31,7 +31,7 @@
 | `ℒ` | §8 Definition, VL2, Seite 8 | Die Menge der Literale |
 | `res(·)` | §41–43 Definition, VL6, Seiten 37–43 | `res(F) =` Menge aller Resolventen aus Disjunktionsgliedern aus `F` |
 | `Res(·)` | §43 Definition, VL6, Seite 43 | `Res(F) = F ∪ res(F)` |
-| `Res⁽ⁿ⁾(·)` | §43 Definition, VL6, Seite 43 | `Res(Res(···Res(F)···)), _n_ Mal` |
+| `Res⁽ⁿ⁾(·)` | §43 Definition, VL6, Seite 43 | `Res(Res(···Res(F)···))`, _n_ Mal |
 | `Res*(·)` | §43 Definition, VL6, Seite 43 | Resolutionshülle |
 | tautologisch | §10 Definition, VL2, Seite 68 | Die „klassischen“ Probleme |
 | `TF(·)` | §35 Definition, VL5, Seite 56 | `TF(F) =` Menge aller Teilformeln in `F` (inkl. `F` selbst) |