up 19.07.2013

This commit is contained in:
Grigoriev Oleg
2013-07-19 13:57:58 +04:00
parent 1ed6d5336e
commit c26e96ce6f
6 changed files with 20 additions and 20 deletions

View File

@ -11,7 +11,7 @@
220A : Маленький элемент
220B : Содержит в качестве члена
220C : Не содержит в качестве члена
220D : Маленький содержит в качествев члена
220D : Маленький содержит в качестве члена
220E : Конец доказательства
220F : N-ичный продукт
2210 : N-ичный побочный продукт
@ -253,4 +253,4 @@
22FC : Малый элемент содержит в себе горизонтальную черту с вертикальной черточкой на конце
22FD : Черта сверху
22FE : Малый элемент с чертой сверху
22FF : Z обозначение принадлежность
22FF : Z обозначение принадлежность