--- a/lib/fonts/isabelle24.bdf Wed Apr 30 12:06:18 1997 +0200
+++ b/lib/fonts/isabelle24.bdf Wed Apr 30 12:13:17 1997 +0200
@@ -2337,10 +2337,9 @@
ENCODING 160
SWIDTH 600 0
DWIDTH 15 0
-BBX 11 2 1 0
+BBX 10 1 1 0
BITMAP
-8420
-ffe0
+f3c0
ENDCHAR
STARTCHAR Gamma
ENCODING 161