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