Afhankelijkheidsteken

Het geeft afhankelijkheid aan: de betrokken zaken zijn niet onafhankelijk.

In de modeltheorie duidt vertakking op een bepaalde afhankelijkheid tussen wiskundige objecten of hun typen—verzamelingen uitspraken over mogelijk gedrag. S. Shelah introduceerde dit begrip.

Unicode plaatst ⫝̸ in de equatielogica (redeneren over vergelijkingen) en omschrijft het als „niet onafhankelijk”.

Waarom lijkt ⫝̸ het tegenovergestelde van ⫝?

De contra-intuïtieve koppeling is gecontroleerd en gehandhaafd.

In 2001 merkte een opmerking bij de norm op dat ⫝̸ en ⫝ verwisseld leken. De redacteuren handhaafden de koppeling nadat de wiskundigen die aan de tekens hadden bijgedragen haar bevestigden.

Unicode ontleedt ⫝̸ canoniek als ⫝̸: ⫝ gevolgd door een combinerende schuine streep. Normalisatie kan deze tweedelige reeks zichtbaar maken, hoewel die nog steeds één teken voorstelt.