Doppeltes Modellzeichen

Zeichen und Codes zum Kopieren

Weitere Logikzeichen

Beschreibung

Das doppelte Modellzeichen ⊫ besteht aus zwei senkrechten Strichen, von denen zwei waagerechte nach rechts abgehen. Es gehört zum Grundbestand der mathematischen Zeichen im Zeichensatz. Es verbindet die beiden Verdopplungen: die senkrechte aus dem Erzwingungszeichen und die waagerechte aus dem Modellzeichen. Gebraucht wird es in der Mengenlehre, wenn zwei Arten von Gültigkeit nebeneinander vorkommen. Vom Modellzeichen ⊧ unterscheidet es der zweite senkrechte Strich, vom Erzwingungszeichen ⊩ der zweite waagerechte. Verneint wird es durch ⊯.