--- a/etc/symbols Sun Mar 21 23:05:17 2021 +0100
+++ b/etc/symbols Sun Mar 21 23:15:55 2021 +0100
@@ -148,12 +148,12 @@
\<Phi> code: 0x0003a6 group: greek
\<Psi> code: 0x0003a8 group: greek
\<Omega> code: 0x0003a9 group: greek
-\<Zarithmos> code: 0x01D538 group: Z_Notation group: letter
+\<bbbA> code: 0x01D538 group: letter group: Z_Notation
\<bool> code: 0x01d539 group: letter group: Z_Notation
\<complex> code: 0x002102 group: letter
\<bbbD> code: 0x01D53B group: letter
\<bbbE> code: 0x01D53C group: letter
-\<Zfinset> code: 0x01D53D group: Z_Notation group: letter
+\<bbbF> code: 0x01D53D group: letter group: Z_Notation
\<bbbG> code: 0x01D53E group: letter
\<bbbH> code: 0x00210D group: letter
\<bbbI> code: 0x01D540 group: letter
@@ -163,14 +163,14 @@
\<bbbM> code: 0x01D544 group: letter
\<nat> code: 0x002115 group: letter group: Z_Notation
\<bbbO> code: 0x01D546 group: letter
-\<Zpower> code: 0x002119 group: Z_Notation group: letter
+\<bbbP> code: 0x002119 group: letter group: Z_Notation
\<rat> code: 0x00211a group: letter
\<real> code: 0x00211d group: letter group: Z_Notation
\<bbbS> code: 0x01D54A group: letter
\<bbbT> code: 0x01D54B group: letter
-\<Zuniv> code: 0x01D54C group: Z_Notation group: letter
+\<bbbU> code: 0x01D54C group: letter group: Z_Notation
\<bbbV> code: 0x01D54D group: letter
-\<Zworld> code: 0x01D54E group: Z_Notation group: letter
+\<bbbW> code: 0x01D54E group: letter group: Z_Notation
\<bbbX> code: 0x01D54F group: letter
\<bbbY> code: 0x01D550 group: letter
\<int> code: 0x002124 group: letter