⊮
Mathematischer Operator 171
- Unicode
- U+22AE
- Kategorie
- Mathematik
- HTML Entity
- ⊮
- CSS
- \22AE
Das Symbol ⊮ (U+22AE) steht in der mathematischen Logik für „erzwingt nicht“ (Does Not Force) und ist die verneinte Form des Forcing-Symbols (⊩). Du begegnest diesem Spezialzeichen hauptsächlich in der abstrakten Mengenlehre, wenn ausgedrückt wird, dass eine bestimmte Bedingung eine Aussage nicht zwingend wahr macht. Außerhalb von mathematischen und philosophischen Texten hat dieses Symbol praktisch keine Bedeutung im Alltag.
So tippen Sie
- Windows
- Alt+8878 (auf dem Ziffernblock) oder 22AE gefolgt von Alt+C in Word
- macOS
- Control+Command+Space und nach 'Does Not Force' suchen
- Linux
- Strg+Shift+U, dann 22ae und Enter
- HTML
- ⊮
In der Programmierung
In Standard-Programmiersprachen hat das Symbol keine direkte syntaktische Funktion. Es wird jedoch beim Schriftsatz von mathematischen Abhandlungen mit LaTeX (oft als \nVdash) genutzt, um formal-logische Relationen darzustellen.
Tags
mathematik
logik
erzwingt nicht
negation
operator