Bağımlılık işareti

Bir bağımlılık ilişkisini, yani ilgili öğelerin bağımsız olmadığını gösterir.

Model kuramında çatallanma, matematiksel nesneler ya da onların tipleri arasındaki belirli bir bağımlılığı anlatır. Tip, bir nesnenin olası davranışlarına ilişkin önermeler kümesidir. Bu kavramı S. Shelah ortaya koymuştur.

Unicode, ⫝̸ işaretini eşitlikler üzerine akıl yürütmeyi inceleyen eşitlik mantığına yerleştirir ve “bağımsız değil” diye açıklar.

⫝̸ neden ⫝ işaretinin tersi gibi görünüyor?

Sezgilere aykırı olan bu eşleşme incelendi ve korundu.

2001’de standartla ilgili bir görüş, ⫝̸ ile ⫝ işaretlerinin anlamlarının yer değiştirmiş gibi göründüğünü belirtti. Editörler, karakterlere katkıda bulunan matematikçiler bunu doğrulayınca eşleşmeyi korudu.

Unicode, ⫝̸ işaretini kurallı olarak ⫝̸ biçiminde açar: ⫝ işaretinin ardından birleştirici eğik çizgi gelir. Normalleştirme bu iki parçalı diziyi gösterebilir; dizi yine de tek bir karakteri temsil eder.