Symbol für eine zulässige Regel in der Logik

Question

Können Sie mir bitte helfen, ein bestimmtes Symbol (siehe Bild unten) für eine zulässige Regel in der mathematischen Logik zu finden? Wir können dafür schreiben |\!\!\!\sim, aber ich möchte, dass der vertikale Strich die gleiche Größe wie $\vdash$ hat. Vielen Dank!

Answer 1

Wenn Sie LuaLaTeX oder XeLaTeX verwenden können, können Sie auf das Paket logixund den Befehl \TurnWavy(„wavy turnstile“) zurückgreifen. Es handelt sich um eine binäre Beziehung, und ich glaube, Sie verwenden es so.

logixstellt nur eine Unicode-Schriftart zur Verfügung; LuaLaTeX oder XeLaTeX ermöglichen die direkte Eingabe von Unicode-Zeichen in Ihren Quelltext (Undwird in der Ausgabe wie beabsichtigt angezeigt).

Quelle:Die umfassende LaTeX-Symbolliste, S. 81; ich habe es gefunden, als ich im Index nach Varianten von „Drehkreuz“ gesucht habe.