TheCloneArmy/symbl-data
1
0
Fork 0
mirror of https://github.com/symbl-cc/symbl-data.git synced 2025-10-28 04:01:11 -04:00
Code Issues Packages Projects Releases Wiki Activity

Up 2014.08.07

Browse Source
This commit is contained in:
Oleg Grigoriev
2014-08-07 15:44:49 +04:00
parent a4c7555ae6
commit 2a1395e85a
275 changed files with 65692 additions and 113 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
loc/ua/symbols/2200.txt
View File

@ -13,9 +13,9 @@
220C : Не содержит в качестве члена
220D : Маленький содержит в качестве члена
220E : Конец доказательства
220F : N-ичный продукт
2210 : N-ичный побочный продукт
2211 : N-ичное суммирование
220F : N-арное произведние
2210 : N-арное копроизведение
2211 : N-арное суммирование
2212 : Знак минус
2213 : Знак минус или плюс
2214 : Точка плюс
@ -199,10 +199,10 @@
22C6 : Оператор звёздочка
22C7 : Времена подразделения
22C8 : Галстук-бабочка
22C9 : Левый нормальный фактор полупрямой продукт
22CA : Правый нормальный фактор полупрямой продукт
22CB : Левый полупрямой продукт
22CC : Правый полупрямой продукт
22C9 : Полупрямое произведение с левым нормальным множителем
22CA : Полупрямое произведение с правым нормальным множителем
22CB : Левое полупрямое произведение
22CC : Правое полупрямое произведение
22CD : Обратная тильда равно
22CE : Вьющийся логический или
22CF : Вьющийся логический и

2
loc/ua/symbols/2900.txt
View File

@ -224,7 +224,7 @@
29DF : Двуконечная мультикарта
29E0 : Квадрат с контурным очертанием
29E1 : Знак возрастания
29E2 : Знак перемешивания продукта
29E2 : Шафл-произведение
29E3 : Знак равенства и наклонённая параллель
29E4 : Знак равенства, наклонённая параллель и тильда наверху
29E5 : Знак идентичности и наклонённая параллель

4
loc/ua/symbols/2A00.txt
View File

@ -61,7 +61,7 @@
2A3C : Внутреннее умножение
2A3D : Внутреннее правостороннее умножение
2A3E : Z обозначение реляционного состава
2A3F : Объединение или побочный продукт
2A3F : Копроизведение (категорная сумма)
2A40 : Пересечение с точкой
2A41 : Объединение со знаком минус
2A42 : Объединение с чертой сверху
@ -78,7 +78,7 @@
2A4D : Закрытый знак пересечения с зачсечками
2A4E : Двойные квадратные пересечения
2A4F : Двойные квадратные объединения
2A50 : Закрытый знак объединение с засечками и смэш продуктом
2A50 : Закрытое объединение с засечками и смэш-произведение
2A51 : Логическое и с точкой сверху
2A52 : Логическое или с точкой сверху
2A53 : Двойная логическая и