--- a/lib/fonts/isabelle14.bdf Tue Apr 29 16:38:16 1997 +0200
+++ b/lib/fonts/isabelle14.bdf Tue Apr 29 16:39:13 1997 +0200
@@ -1,7 +1,7 @@
STARTFONT 2.1
FONT -isabelle-fixed-medium-r-normal--14-140-75-75-m-90-isabelle-0
SIZE 14 75 75
-FONTBOUNDINGBOX 9 14 4 -3
+FONTBOUNDINGBOX 10 14 4 -3
STARTPROPERTIES 22
FONTNAME_REGISTRY ""
FOUNDRY "Isabelle"
@@ -26,7 +26,7 @@
CAP_HEIGHT 9
X_HEIGHT 7
ENDPROPERTIES
-CHARS 191
+CHARS 206
STARTCHAR space
ENCODING 32
SWIDTH 600 0
@@ -837,7 +837,7 @@
BBX 7 9 1 0
BITMAP
fe
-10
+92
10
10
10
@@ -1497,13 +1497,258 @@
64
98
ENDCHAR
-STARTCHAR space
-ENCODING 160
+STARTCHAR lless
+ENCODING 145
+SWIDTH 666 0
+DWIDTH 9 0
+BBX 6 11 1 -1
+BITMAP
+04
+08
+10
+24
+48
+90
+48
+24
+10
+08
+04
+ENDCHAR
+STARTCHAR unlhd
+ENCODING 146
+SWIDTH 666 0
+DWIDTH 9 0
+BBX 8 9 1 -1
+BITMAP
+03
+0d
+31
+c1
+31
+0d
+03
+00
+ff
+ENDCHAR
+STARTCHAR lhd
+ENCODING 147
+SWIDTH 666 0
+DWIDTH 9 0
+BBX 8 7 1 1
+BITMAP
+03
+0d
+31
+c1
+31
+0d
+03
+ENDCHAR
+STARTCHAR rhd
+ENCODING 148
+SWIDTH 666 0
+DWIDTH 9 0
+BBX 8 7 1 1
+BITMAP
+c0
+b0
+8c
+83
+8c
+b0
+c0
+ENDCHAR
+STARTCHAR tturnstile
+ENCODING 149
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 8 9 3 0
+BITMAP
+a0
+a0
+a0
+a0
+ff
+a0
+a0
+a0
+a0
+ENDCHAR
+STARTCHAR langle
+ENCODING 150
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 4 12 3 -2
+BITMAP
+10
+20
+20
+40
+40
+80
+80
+40
+40
+20
+20
+10
+ENDCHAR
+STARTCHAR rangle
+ENCODING 151
SWIDTH 600 0
DWIDTH 9 0
-BBX 1 1 0 0
+BBX 4 12 3 -2
+BITMAP
+80
+40
+40
+20
+20
+10
+10
+20
+20
+40
+40
+80
+ENDCHAR
+STARTCHAR choice
+ENCODING 152
+SWIDTH 666 0
+DWIDTH 9 0
+BBX 6 12 1 -2
+BITMAP
+3c
+24
+24
+24
+24
+24
+24
+24
+24
+24
+24
+3c
+ENDCHAR
+STARTCHAR top
+ENCODING 153
+SWIDTH 666 0
+DWIDTH 9 0
+BBX 7 6 1 2
+BITMAP
+fe
+10
+10
+10
+10
+10
+ENDCHAR
+STARTCHAR Or
+ENCODING 154
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 7 12 1 -2
+BITMAP
+82
+82
+82
+44
+44
+44
+28
+28
+28
+10
+10
+10
+ENDCHAR
+STARTCHAR ocdot
+ENCODING 155
+SWIDTH 240 0
+DWIDTH 9 0
+BBX 9 9 0 0
BITMAP
-00
+1c00
+2200
+4100
+8080
+8880
+8080
+4100
+2200
+1c00
+ENDCHAR
+STARTCHAR iota
+ENCODING 156
+SWIDTH 168 0
+DWIDTH 9 0
+BBX 3 6 1 0
+BITMAP
+e0
+60
+60
+c0
+e0
+c0
+ENDCHAR
+STARTCHAR upsilon
+ENCODING 157
+SWIDTH 168 0
+DWIDTH 9 0
+BBX 7 7 1 0
+BITMAP
+c4
+62
+62
+62
+62
+64
+38
+ENDCHAR
+STARTCHAR Upsilon
+ENCODING 158
+SWIDTH 264 0
+DWIDTH 9 0
+BBX 8 10 0 -1
+BITMAP
+c3
+64
+38
+18
+18
+18
+18
+18
+18
+3c
+ENDCHAR
+STARTCHAR Xi
+ENCODING 159
+SWIDTH 264 0
+DWIDTH 9 0
+BBX 9 10 1 -1
+BITMAP
+ff80
+ff80
+8080
+0000
+1c00
+1c00
+0000
+8080
+ff80
+ff80
+ENDCHAR
+STARTCHAR space2
+ENCODING 160
+SWIDTH 264 0
+DWIDTH 9 0
+BBX 9 2 1 0
+BITMAP
+8880
+dd80
ENDCHAR
STARTCHAR Gamma
ENCODING 161
@@ -1609,63 +1854,66 @@
ENDCHAR
STARTCHAR Phi
ENCODING 167
-SWIDTH 240 0
+SWIDTH 264 0
DWIDTH 9 0
-BBX 5 9 2 0
+BBX 10 10 1 -1
BITMAP
-70
-20
-70
-a8
-a8
-a8
-70
-20
-70
+1e00
+0c00
+7f80
+ccc0
+ccc0
+ccc0
+ccc0
+7f80
+0c00
+1e00
ENDCHAR
STARTCHAR Psi
ENCODING 168
SWIDTH 264 0
DWIDTH 9 0
-BBX 7 9 1 0
+BBX 10 10 1 -1
BITMAP
-38
-10
-92
-54
-54
-54
-38
-10
-38
+1e00
+8c40
+ccc0
+ccc0
+ccc0
+ccc0
+7f80
+0c00
+0c00
+1e00
ENDCHAR
STARTCHAR Omega
ENCODING 169
-SWIDTH 240 0
+SWIDTH 264 0
DWIDTH 9 0
-BBX 7 9 1 0
+BBX 9 10 1 -1
BITMAP
-38
-44
-82
-82
-82
-44
-28
-aa
-ee
+3e00
+6300
+c180
+c180
+c180
+c180
+6300
+3600
+9480
+f780
ENDCHAR
STARTCHAR alpha
ENCODING 170
SWIDTH 216 0
DWIDTH 9 0
-BBX 8 6 0 0
+BBX 7 6 0 0
BITMAP
-39
-49
-8e
+76
+9c
8c
-8c
+88
+98
76
ENDCHAR
STARTCHAR beta
@@ -2393,15 +2641,13 @@
ENCODING 216
SWIDTH 666 0
DWIDTH 9 0
-BBX 7 8 1 0
+BBX 7 6 1 0
BITMAP
10
10
10
10
10
-10
-10
fe
ENDCHAR
STARTCHAR doteq