⊑

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

⊐

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

⊒

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

⊕

исключающее ИЛИ

≃

асимптотически равно

⊻

логическое NOR

≅

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

⊼

логическое NAND

≈

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

⊢

доказывает

≠

не равно

⊤

истина