Afhængighedstegn

Det markerer afhængighed: De involverede ting er ikke uafhængige.

I modelteori beskriver forgrening en bestemt afhængighed mellem matematiske objekter eller deres typer—mængder af udsagn om mulig adfærd. S. Shelah indførte begrebet.

Unicode placerer ⫝̸ i ligningslogik (ræsonnement om ligninger) og forklarer det som ”ikke uafhængig”.

Hvorfor ser ⫝̸ ud til at betyde det modsatte af ⫝?

Den kontraintuitive kobling blev kontrolleret og bevaret.

I 2001 påpegede en kommentar til standarden, at ⫝̸ og ⫝ så ud til at være byttet om. Redaktørerne bevarede koblingen, efter at de matematikere, der bidrog til tegnene, havde bekræftet den.

Unicode dekomponerer ⫝̸ kanonisk til ⫝̸: ⫝ efterfulgt af en kombinerende skråstreg. Normalisering kan vise denne sekvens i to dele, selv om den stadig repræsenterer ét tegn.