⊐

надмножество

⊒

надмножество или равно

⊼

логическое NAND

≅

приблизительно равно

⊢

доказывает

≈

приблизительно

⊨

логическое следствие

≠

не равно

⊤

истина

≮

не меньше

⊥

ложь

≯

не больше