# HG changeset patch
# User wenzelm
# Date 1563375830 -7200
# Node ID b5da5172d4e33ab0e5582c27c7ff16a91cea4f5d
# Parent  3f9d03571eaa2a3edf3f281abff28afbeff0fad8
tuned;

diff -r 3f9d03571eaa -r b5da5172d4e3 lib/texinputs/isabellesym.sty
--- 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}}