editor: Adjust symbol for Alpha-Shift-EEX

The expected symbol for Alpha-Shift-EEX is `∡`. Fixes: #421 Signed-off-by: Christophe de Dinechin <christophe@dinechin.org>
c3d · Oct 20, 2023 · d4f1b99 · d4f1b99
1 parent 0934c76
commit d4f1b99
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/user_interface.cc b/src/user_interface.cc
@@ -3323,7 +3323,7 @@ bool user_interface::handle_alpha(int key)
     {
         L'Σ', '^', L'√', L'∂', L'ρ', '(',
         L'▶', '%', L'π', '<', '=', '>',
-        '_', L'⇄', L'±', L'⁳', '_',
+        '_', L'⇄', L'±', L'∡', '_',
         '_', '7', '8', '9', L'÷',
         '_', '4', '5', '6', L'×',
         '_', '1', '2', '3', '-',