Äquivalenzsymbol bei Beispiel Skolemisierung

[hstrass]

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