Beroendetecken

Det markerar ett beroende: de berörda objekten är inte oberoende.

Inom modellteori beskriver förgrening ett visst beroende mellan matematiska objekt eller deras typer—mängder av påståenden om möjligt beteende. S. Shelah introducerade begreppet.

Unicode placerar ⫝̸ i ekvationslogik (resonemang om ekvationer) och förklarar det som ”inte oberoende”.

Varför verkar ⫝̸ betyda motsatsen till ⫝?

Den kontraintuitiva kopplingen granskades och behölls.

År 2001 påpekade en standardkommentar att ⫝̸ och ⫝ verkade ha bytt plats. Redaktörerna behöll kopplingen efter att matematikerna bakom tecknen hade bekräftat den.

Unicode dekomponerar ⫝̸ kanoniskt till ⫝̸: ⫝ följt av ett kombinerande snedstreck. Normalisering kan visa denna tvådelade sekvens, trots att den representerar ett enda tecken.