Riippuvuuden merkki

Se ilmaisee riippuvuutta: mukana olevat asiat eivät ole riippumattomia.

Malliteoriassa haarautuminen kuvaa tietynlaista riippuvuutta matemaattisten kohteiden tai niiden tyyppien välillä. Tyypit ovat väitteiden joukkoja, jotka kuvaavat kohteen mahdollisia ominaisuuksia. S. Shelah esitteli tämän käsitteen.

Unicode sijoittaa ⫝̸:n yhtälölogiikkaan eli yhtälöitä koskevaan päättelyyn ja selittää sen merkitykseksi ”ei riippumaton”.

Miksi ⫝̸ näyttää tarkoittavan ⫝:n vastakohtaa?

Vastaintuitiivinen yhdistelmä tarkistettiin ja säilytettiin.

Vuonna 2001 standardointikommentissa huomautettiin, että ⫝̸ ja ⫝ näyttivät olevan vaihtaneet paikkaa. Toimittajat säilyttivät yhdistelmän, kun merkkeihin osallistuneet matemaatikot vahvistivat sen.

Unicode hajottaa ⫝̸:n kanonisesti muotoon ⫝̸: ⫝ ja sitä seuraava yhdistyvä vinoviiva. Normalisointi voi näyttää tämän kaksiosaisen jonon, vaikka se vastaa yhtä merkkiä.