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

Merge pull request #165 from alberic89/master

Browse Source 
Added a synonym for the symbol Circled Plus
This commit is contained in:
Sergei Asanov
2023-03-04 16:20:15 +04:00
committed by GitHub
parent ed8bbd1630 360b5ba6c4
commit e7ad380c8e
2 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
loc/en/symbols/2200.txt
View File

@ -147,7 +147,7 @@
2292: Square Original of or Equal To
2293: Square Cap
2294: Square Cup
2295: Circled Plus: direct sum , vector pointing into page
2295: Circled Plus: direct sum , vector pointing into page , XOR sum
2296: Circled Minus: symmetric difference
2297: Circled Times: tensor product , vector pointing into page
2298: Circled Division Slash: ban, disable
@ -253,4 +253,4 @@
22FC: Small Contains with Vertical Bar At End of Horizontal Stroke
22FD: Contains with Overbar
22FE: Small Contains with Overbar
22FF: Z Notation Bag Membership
22FF: Z Notation Bag Membership

4
loc/fr/symbols/2200.txt
View File

@ -147,7 +147,7 @@
2292: Original carré ou égal à
2293: Chapeau carré
2294: Coupe carrée
2295: Plus cerclé: somme directe , vecteur pointant vers l'intérieur de la page
2295: Plus cerclé: somme directe , vecteur pointant vers l'intérieur de la page , somme XOR
2296: Moins cerclé: différence symétrique
2297: Multiplié par cerclé: produit tensoriel , vecteur pointant vers l'intérieur de la page
2298: Barre oblique de division cerclée
@ -253,4 +253,4 @@
22FC: Petit contient avec barre verticale au bout du trait horizontal
22FD: Contient avec trait en chef
22FE: Petit contient avec trait en chef
22FF: Appartient à un sac en notation z: appartient à un multi-ensemble
22FF: Appartient à un sac en notation z: appartient à un multi-ensemble