⊑

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

⊐

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

⊒

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

⊻

логическое NOR

≃

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

⊼

логическое NAND

≅

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

⊢

доказывает

≈

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

⊨

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

≠

не равно

⊤

истина