Abhängigkeitszeichen

Es markiert eine Abhängigkeit: Die beteiligten Dinge sind nicht unabhängig.

In der Modelltheorie bezeichnet Verzweigung eine bestimmte Abhängigkeit zwischen mathematischen Objekten oder ihren Typen—Mengen von Aussagen über ihr mögliches Verhalten. S. Shelah führte diesen Begriff ein.

Unicode ordnet ⫝̸ der Gleichungslogik (dem Schließen über Gleichungen) zu und glossiert es mit „nicht unabhängig“.

Warum scheint ⫝̸ das Gegenteil von ⫝ zu bedeuten?

Die kontraintuitive Zuordnung wurde geprüft und beibehalten.

2001 beanstandete ein Normungskommentar, dass ⫝̸ und ⫝ vertauscht zu sein schienen. Die Redaktion behielt die Zuordnung bei, nachdem die beteiligten Mathematikexperten sie bestätigt hatten.

Unicode zerlegt ⫝̸ kanonisch in die Folge ⫝̸: Auf ⫝ folgt ein kombinierender Schrägstrich. Bei der Normalisierung kann diese zweigliedrige Folge sichtbar werden, obwohl sie dasselbe Zeichen darstellt.