From b296ca636969974d64c7999045df07cc04b422b4 Mon Sep 17 00:00:00 2001 From: alberic89 Date: Sun, 26 Feb 2023 14:10:05 +0100 Subject: [PATCH] Update 2200.txt --- loc/fr/symbols/2200.txt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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