From 360b5ba6c4a2814e333c812eee178d300f86a01e Mon Sep 17 00:00:00 2001 From: alberic89 Date: Sun, 26 Feb 2023 14:12:26 +0100 Subject: [PATCH] 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