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