Äquivalenzsymbol bei Beispiel Skolemisierung

In VL17 Zeile 460 steht ein Äquivalenzsymbol `\equiv` zwischen einer Formel und ihrer Skolemisierung.
Aus dem Rest der Vorlesung geht zwar eindeutig hervor, dass Skolemisierung nicht äquivalenzerhaltend ist, dies kann jedoch trotzdem irritieren.
Mögliche Ersetzung: `\leadsto`

Open the TeX source for VL17 and inspect line 460, where the equivalence symbol appears between a formula and its Skolemization. Replace the potentially misleading symbol with the proposed arrow notation, then review the rendered lecture material to confirm the example is clear.

Written by the indexing model from the issue text.