⊑

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

⊐

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

⊒

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

⊨

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

≠

не равно

⊤

истина

≮

не меньше

⊥

ложь

≯

не больше

⇒

следует/импликация

⊏

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

⇔

тогда и только тогда/эквивалентность