Лівий так

Читайте ⊣ відповідно до системи позначень, яка його визначає.

У теорії категорій F ⊣ G означає, що F є лівим спряженим до G, тобто між двома конструкціями існує формальний зв’язок. APL — мова програмування з умовними позначеннями — використовує ⊣ як функцію лівої тотожності: X ⊣ Y повертає X, а ⊣Y повертає Y.

У логіці ⊣ — це зворотний турнікет; точне відношення, яке він позначає, залежить від системи.

Напрямок змінює функцію

Історія родини знаків турнікету починається у формальній логіці. У книзі Фреге 1879 року «Бегріфсшрифт» (Begriffsschrift), системі логічних позначень, був знак твердження з горизонтальною рискою змісту та вертикальною рискою судження. Пізніші логічні системи розвинули споріднені знаки, зокрема ⊢ і ⊨, щоб розрізняти виведення та семантичний наслідок.

В історії APL зафіксовано два конкуруючі способи називати напрямок така. Тому деякі складені назви APL не збігаються з позначеннями Unicode «ліворуч/праворуч», хоча зображений знак той самий.