# HG changeset patch
# User wenzelm
# Date 1616364955 -3600
# Node ID 067c23324784455367508d20951c1651a40c6de7
# Parent  144431a135e97cdfffdb6a844d34ced778a9fc4d
clarified symbol names, notably relevant for Z_Notation;

diff -r 144431a135e9 -r 067c23324784 etc/symbols
--- 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
diff -r 144431a135e9 -r 067c23324784 lib/texinputs/isabellesym.sty
--- a/lib/texinputs/isabellesym.sty	Sun Mar 21 23:05:17 2021 +0100
+++ b/lib/texinputs/isabellesym.sty	Sun Mar 21 23:15:55 2021 +0100
@@ -150,12 +150,12 @@
 \newcommand{\isasymPhi}{\isamath{\Phi}}
 \newcommand{\isasymPsi}{\isamath{\Psi}}
 \newcommand{\isasymOmega}{\isamath{\Omega}}
-\newcommand{\isasymZarithmos}{\checkbbbfont\isamath{\bbbA}}  %requires font txmia from txfonts
+\newcommand{\isasymbbbA}{\checkbbbfont\isamath{\bbbA}}  %requires font txmia from txfonts
 \newcommand{\isasymbool}{\checkbbbfont\isamath{\bbbB}}  %requires font txmia from txfonts
 \newcommand{\isasymcomplex}{\checkbbbfont\isamath{\bbbC}}  %requires font txmia from txfonts
 \newcommand{\isasymbbbD}{\checkbbbfont\isamath{\bbbD}}  %requires font txmia from txfonts
 \newcommand{\isasymbbbE}{\checkbbbfont\isamath{\bbbE}}  %requires font txmia from txfonts
-\newcommand{\isasymZfinset}{\checkbbbfont\isamath{\bbbF}}  %requires font txmia from txfonts
+\newcommand{\isasymbbbF}{\checkbbbfont\isamath{\bbbF}}  %requires font txmia from txfonts
 \newcommand{\isasymbbbG}{\checkbbbfont\isamath{\bbbG}}  %requires font txmia from txfonts
 \newcommand{\isasymbbbH}{\checkbbbfont\isamath{\bbbH}}  %requires font txmia from txfonts
 \newcommand{\isasymbbbI}{\checkbbbfont\isamath{\bbbI}}  %requires font txmia from txfonts
@@ -165,14 +165,14 @@
 \newcommand{\isasymbbbM}{\checkbbbfont\isamath{\bbbM}}  %requires font txmia from txfonts
 \newcommand{\isasymnat}{\checkbbbfont\isamath{\bbbN}}  %requires font txmia from txfonts
 \newcommand{\isasymbbbO}{\checkbbbfont\isamath{\bbbO}}  %requires font txmia from txfonts
-\newcommand{\isasymZpower}{\checkbbbfont\isamath{\bbbP}}  %requires font txmia from txfonts
+\newcommand{\isasymbbbP}{\checkbbbfont\isamath{\bbbP}}  %requires font txmia from txfonts
 \newcommand{\isasymrat}{\checkbbbfont\isamath{\bbbQ}}  %requires font txmia from txfonts
 \newcommand{\isasymreal}{\checkbbbfont\isamath{\bbbR}}  %requires font txmia from txfonts
 \newcommand{\isasymbbbS}{\checkbbbfont\isamath{\bbbS}}  %requires font txmia from txfonts
 \newcommand{\isasymbbbT}{\checkbbbfont\isamath{\bbbT}}  %requires font txmia from txfonts
-\newcommand{\isasymZuniv}{\checkbbbfont\isamath{\bbbU}}  %requires font txmia from txfonts
+\newcommand{\isasymbbbU}{\checkbbbfont\isamath{\bbbU}}  %requires font txmia from txfonts
 \newcommand{\isasymbbbV}{\checkbbbfont\isamath{\bbbV}}  %requires font txmia from txfonts
-\newcommand{\isasymZworld}{\checkbbbfont\isamath{\bbbW}}  %requires font txmia from txfonts
+\newcommand{\isasymbbbW}{\checkbbbfont\isamath{\bbbW}}  %requires font txmia from txfonts
 \newcommand{\isasymbbbX}{\checkbbbfont\isamath{\bbbX}}  %requires font txmia from txfonts
 \newcommand{\isasymbbbY}{\checkbbbfont\isamath{\bbbY}}  %requires font txmia from txfonts
 \newcommand{\isasymint}{\checkbbbfont\isamath{\bbbZ}}  %requires font txmia from txfonts