Знак залежності

Він позначає залежність: пов’язані об’єкти не є незалежними.

У теорії моделей форкінг — це особливий вид залежності між математичними об’єктами або їхніми типами, тобто наборами тверджень про можливу поведінку об’єкта. Це поняття запровадив Шелах.

Юнікод відносить ⫝̸ до логіки рівнянь — міркувань про рівняння — і пояснює його як «не незалежний».

Чому ⫝̸ здається протилежним до ⫝?

Цю неочевидну пару перевірили й залишили без змін.

У 2001 році в зауваженні до стандарту зазначили, що значення ⫝̸ і ⫝ ніби поміняли місцями. Редактори зберегли цю пару після підтвердження від математиків, які брали участь у розробленні знаків.

Юнікод канонічно розкладає ⫝̸ на ⫝̸: після ⫝ іде комбінована коса риска. Нормалізація може показати цю послідовність із двох частин, хоча вона й далі позначає один символ.