⊑

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

⊐

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

⊒

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

⊨

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

≮

не меньше

⊤

истина

≯

не больше

⊥

ложь

⊏

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

⇒

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

⇔

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

⇐

если