Verneintes doppeltes Modellzeichen

Zeichen und Codes zum Kopieren

Weitere Logikzeichen

Beschreibung

Das Zeichen ⊯ ist ein durchgestrichenes doppeltes Modellzeichen: zwei senkrechte und zwei waagerechte Striche, dazu ein Schrägstrich. Es gehört zum Grundbestand der mathematischen Zeichen im Zeichensatz und verneint die stärkste Form der Reihe. Gebraucht wird es in der Mengenlehre und der Modelltheorie, wenn eine Gültigkeit ausdrücklich ausgeschlossen wird, für die das einfache Zeichen nicht genügt. Vom Zeichen ⊫ unterscheidet es der Schrägstrich, vom Zeichen ⊭ der zweite senkrechte Strich.