Вверху или ложь (⊥, \ bot
в LaTeX, U + 22A5 в Unicode ) - постоянный символ , используемый для представления:
, а также
Символ символа верхней галочки отображается как перевернутый символ тройника, d как таковой иногда называют eet (слово «тройник» в обратном порядке). Ти играет дополнительную или двойную роль во многих из этих теорий.
Аналогично выглядящий перпендикулярный символ (⟂, \ perp
в LaTeX, U + 27C2 в Unicode) - это двоичный символ отношения, используемый для представления:
Символ двойной закрепки (⫫, U + 2AEB в Unicode ) - постоянный символ , используемый для представления: