⊑

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

⊐

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

⊒

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

⊂

строгое включение

⊆

включение

≡

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

∧

конъюнкция/логическое И

≜

определено как

∨

дизъюнкция/логическое ИЛИ

≝

равно по определению

¬

отрицание/логическое НЕ

≐

приближается к