diff --git a/notes/glossar.md b/notes/glossar.md
index 33e3204..59632bc 100644
--- a/notes/glossar.md
+++ b/notes/glossar.md
@@ -23,7 +23,7 @@
 | `=` | — | `F = G` gdw. `F` und `G` _dieselbe_ Formel sind |
 | `≡` | §13 Definition, VL3, Seite 11 | `F ≡ G` gdw. `F`, `G` **semantisch** äquivalent |
 | `{...}_⋀` | §39 Definition, VL5, Seite 108 | Mengendarstellung von Disjunktionsglied |
-| ~~-`𝒜`-~~ | — | (**Eintrag ignorieren**: kommt in VL nicht vor!) ~~Menge der Atome in AL~~ |
+| ~~-`𝒜`-~~ | — | (**Eintrag ignorieren**: kommt in VL nicht vor!) |
 | AL | (VL2–VL6) | Aussagenlogik |
 | `Aᵢ` | §8 Definition, VL2, Seite 8 | das _i_-te Atom in der AL-Sprache |
 | `Atome(·)` | §5 Definition, V2, Seite 14 | `Atome(F) =` Menge aller Atome in `F` |