--- a/lib/fonts/isabelle14.bdf Wed Apr 30 12:06:18 1997 +0200
+++ b/lib/fonts/isabelle14.bdf Wed Apr 30 12:13:17 1997 +0200
@@ -1745,10 +1745,9 @@
ENCODING 160
SWIDTH 264 0
DWIDTH 9 0
-BBX 9 2 1 0
+BBX 8 1 1 0
BITMAP
-8880
-dd80
+e7
ENDCHAR
STARTCHAR Gamma
ENCODING 161