⊑

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

⊒

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

⊂

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

⊆

включение

∧

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

≡

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

∨

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

≜

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

¬

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

≝

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

⊕

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

≐

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