--- a/lib/texinputs/isabellesym.sty Wed Jul 17 16:10:05 2019 +0200
+++ b/lib/texinputs/isabellesym.sty Wed Jul 17 17:03:50 2019 +0200
@@ -282,7 +282,7 @@
\newcommand{\isasymsucceq}{\isamath{\succeq}}
\newcommand{\isasymparallel}{\isamath{\parallel}}
\newcommand{\isasymbar}{\isamath{\mid}}
-\newcommand{\isasymbbar}{\isamath{[\!]}}
+\newcommand{\isasymbbar}{\isamath{[\mskip-1.5mu]}}
\newcommand{\isasymplusminus}{\isamath{\pm}}
\newcommand{\isasymminusplus}{\isamath{\mp}}
\newcommand{\isasymtimes}{\isamath{\times}}