Так ? lArr может использоваться для 'is implied by' как это рекомендует ISOtech
++) Уникод не утверждает, что это 'implies' символ, но не имеет другого символа для этих целей, таким образом, ? rArr может использоваться для 'implies' как это рекомендует ISOtech
| Математические операторы | |||
| Определение | Название символа | Уникод | Название набора |
| <!ENTITY forall CDATA "∀"> | Для всех ? | U+2200 | ISOtech |
| <!ENTITY part CDATA "∂"> | Частный дифференциал ? | U+2202 | ISOtech |
| <!ENTITY exist CDATA "∃"> | Существует ? | U+2203 | ISOtech |
| <!ENTITY empty CDATA "∅"> | Пустой набор = диаметр ? | U+2205 | ISOamso |
| <!ENTITY nabla CDATA "∇"> | Набла = обратная разница | U+2207 | ISOtech |
| <!ENTITY isin CDATA "∈"> | Элемент чего-то ? | U+2208 | ISOtech |
| <!ENTITY notin CDATA "∉"> | Не элемент чего-то ? | U+2209 | ISOtech |
| <!ENTITY ni CDATA "∋"> | Содержит, как член ? | U+220B | ISOtech |
| <!ENTITY prod CDATA "∏"> | n-кратное произведение= знак произведения ?#) | U+220F | ISOamsb |
| <!ENTITY sum CDATA "∑"> | n-кратная сумма ?##) | U+2211 | ISOamsb |
| <!ENTITY minus CDATA "−"> | Знак минус ? | U+2212 | ISOtech |
| <!ENTITY lowast CDATA "∗"> | Оператор звездочка ? | U+2217 | ISOtech |
| <!ENTITY radic CDATA "√"> | Квадратный корень = знак радикала v | U+221A | ISOtech |
| <!ENTITY prop CDATA "∝"> | пропорционально ? | U+221D | ISOtech |
| <!ENTITY infin CDATA "∞"> | Бесконечность (? ) | U+221E | ISOtech |
| <!ENTITY ang CDATA "∠"> | Угол (p) | U+2220 | ISOamso |
| <!ENTITY and CDATA "∧"> | Логическое И =призма ? | U+2227 | ISOtech |
| <!ENTITY or CDATA "∨"> | Логическое ИЛИ ? | U+2228 | ISOtech |
| <!ENTITY cap CDATA "∩"> | Пересечение ? | U+2229 | ISOtech |
| <!ENTITY cup CDATA "∪"> | Объединение ? | U+222A | ISOtech |
| <!ENTITY int CDATA "∫"> | Интеграл ? | U+222B | ISOtech |
| !ENTITY there4 CDATA "∴"> | Следовательно ? | U+2234 | ISOtech |
| <!ENTITY sim CDATA "∼"> | Оператор тильда = изменяется с = подобно тому ###) | U+223C | ISOtech |
| <!ENTITY cong CDATA "≅"> | Приблизительно равно ? | U+2245 | ISOtech |
| <!ENTITY asymp CDATA "≈"> | Почти равно= асимптотическое приближение к ? | U+2248 | ISOamsr |
| <!ENTITY ne CDATA "≠"> | Не равно (? ) | U+2260 | ISOtech |
| <!ENTITY equiv CDATA "≡"> | Идентично = тождественно равно (? ) | U+2261 | ISOtech |
| <!ENTITY le CDATA "≤"> | Меньше или равно (?) | U+2264 | ISOtech |
| <!ENTITY ge CDATA "≥"> | Больше или равно ? | U+2265 | ISOtech |
| <!ENTITY sub CDATA "⊂"> | Входит в Í | U+2282 | ISOtech |
| <!ENTITY sup CDATA "⊃"> | Включает в себя Ì | U+2283 | ISOtech |
| <!ENTITY nsub CDATA "⊄"> | Не является субнабором чего-то ? | U+2284 | ISOamsn |
| <!ENTITY sube CDATA "⊆"> | Входит в или тождественен ? | U+2286 | ISOtech |
| <!ENTITY supe CDATA "⊇"> | Включает в себя или тождественен ? | U+2287 | ISOtech |
| <!ENTITY oplus CDATA "⊕"> | Плюс в кружочке = direct sum (Å ) | U+2295 | ISOamsb |
| <!ENTITY otimes CDATA "⊗"> | Векторное произведение = знак умножения в кружочке (Ä ) | U+2297 | ISOamsb |
| <!ENTITY perp CDATA "⊥"> | Ортогонально = перпендикулярно (^ ) | U+22A5 | ISOtech |
| <!ENTITY sdot CDATA "⋅"> | Оператор точка ####) | U+22C5 | ISOamsb |