Segno di dipendenza

Indica una relazione di dipendenza: gli elementi coinvolti non sono indipendenti.

Nella teoria dei modelli, la biforcazione descrive una dipendenza precisa tra oggetti matematici o i loro tipi, cioè insiemi di enunciati sui loro comportamenti possibili. S. Shelah introdusse questa nozione.

Unicode assegna ⫝̸ alla logica equazionale (il ragionamento sulle equazioni) e lo definisce “non indipendente”.

Perché ⫝̸ sembra avere il senso opposto a ⫝?

L’associazione controintuitiva è stata verificata e mantenuta.

Nel 2001, un commento alla norma osservò che ⫝̸ e ⫝ sembravano invertiti. I curatori mantennero l’associazione dopo la conferma dei matematici che avevano contribuito ai caratteri.

Unicode scompone canonicamente ⫝̸ nella sequenza ⫝̸: ⫝ seguito da una barra combinante. La normalizzazione può mostrare la sequenza in due parti, che rappresenta comunque un solo carattere.