diff --git a/loc/en/symbols/2200.txt b/loc/en/symbols/2200.txt index 10aee7e9..7bb5f7dd 100644 --- a/loc/en/symbols/2200.txt +++ b/loc/en/symbols/2200.txt @@ -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 \ No newline at end of file +22FF: Z Notation Bag Membership diff --git a/loc/fr/symbols/2200.txt b/loc/fr/symbols/2200.txt index 81f48412..1a30ffcf 100644 --- a/loc/fr/symbols/2200.txt +++ b/loc/fr/symbols/2200.txt @@ -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 \ No newline at end of file +22FF: Appartient à un sac en notation z: appartient à un multi-ensemble