--- 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