Folgt nicht nach und ist nicht gleich

Zeichen und Codes zum Kopieren

Weitere Mathematik

Beschreibung

Das Zeichen ⋡ ist das geschwungene Größerzeichen mit einem Strich darunter, das ein Schrägstrich kreuzt. Es gehört zum Grundbestand der mathematischen Zeichen im Zeichensatz und ist das Gegenstück zum Zeichen ⋠. Gelesen wird »a ⋡ b« als »a folgt nicht auf b und ist auch nicht gleich b«. In Beweisen zur Ordnungstheorie schließt es beide Fälle zugleich aus. Vom Zeichen ≽ unterscheidet es der Schrägstrich, vom Zeichen ⊁ der Gleichheitsfall, der hier ebenfalls verneint wird.