Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/8bit/fonts/spcr14.bdf
changeset 1826 2a2c0dbeb4ac 
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/8bit/fonts/spcr14.bdf	Tue Jun 25 17:44:43 1996 +0200
@@ -0,0 +1,2925 @@
+STARTFONT 2.1
+COMMENT
+COMMENT  Copyright 1984, 1987 Adobe Systems, Inc.
+COMMENT  Portions Copyright 1988 Digital Equipment Corporation
+COMMENT  Portions Copyright 1993 TU Muenchen, Germany
+COMMENT
+COMMENT  Adobe is a registered trademark of Adobe Systems, Inc.  Permission
+COMMENT  to use these trademarks is hereby granted only in association with the
+COMMENT  images described in this file.
+COMMENT
+COMMENT  Permission to use, copy, modify, and distribute this software and
+COMMENT  its documentation for any purpose and without fee is hereby granted,
+COMMENT  provided that the above copyright notices appear in all copies and
+COMMENT  that both those copyright notices and this permission notice appear
+COMMENT  in supporting documentation, and that the names of Adobe Systems,
+COMMENT  Digital Equipment Corporation, and TU Muenchen not be used in
+COMMENT  advertising or publicity pertaining to distribution of the software
+COMMENT  without specific, written prior permission.  Adobe Systems, Digital
+COMMENT  Equipment Corporation, and TU Muenchen  make no representations about
+COMMENT  the suitability of this software for any purpose.  It is provided "as
+COMMENT  is" without express or implied warranty.
+COMMENT
+COMMENT  ADOBE SYSTEMS, DIGITAL EQUIPMENT CORPORATION AND TU MUENCHEN DISCLAIM
+COMMENT  ALL WARRANTIES WITH REGARD TO THIS SOFTWARE, INCLUDING ALL IMPLIED
+COMMENT  WARRANTIES OF MERCHANTABILITY AND FITNESS, IN NO EVENT SHALL ADOBE
+COMMENT  SYSTEMS, DIGITAL EQUIPMENT CORPORATION AND TU MUENCHEN BE LIABLE FOR 
+COMMENT  ANY SPECIAL, INDIRECT OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
+COMMENT  WHATSOEVE RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
+COMMENT  ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT 
+COMMENT  OF OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
+FONT spcr14
+SIZE 14 75 75
+FONTBOUNDINGBOX 9 14 4 -3
+STARTPROPERTIES 22
+FONTNAME_REGISTRY ""
+FAMILY_NAME "Spectrum"
+FOUNDRY ""
+WEIGHT_NAME "Medium"
+SLANT "R"
+SETWIDTH_NAME "Normal"
+ADD_STYLE_NAME ""
+PIXEL_SIZE 14
+POINT_SIZE 140
+RESOLUTION_X 75
+RESOLUTION_Y 75
+SPACING "M"
+AVERAGE_WIDTH 90
+CHARSET_REGISTRY ""
+CHARSET_ENCODING "1"
+CHARSET_COLLECTIONS ""
+FULL_NAME "Spectrum14"
+COPYRIGHT "Copyright (c) 1985,1987 Adobe Systems,Inc.,Portions Copyright 1988 Digital Equipment Corp., Portions Copyright 1993 TU Muenchen"
+FONT_ASCENT 11
+FONT_DESCENT 3
+CAP_HEIGHT 9
+X_HEIGHT 7
+ENDPROPERTIES
+CHARS 191
+STARTCHAR space
+ENCODING 32
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 1 1 0 0
+BITMAP
+00
+ENDCHAR
+STARTCHAR exclam
+ENCODING 33
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 1 10 3 0
+BITMAP
+80
+80
+80
+80
+80
+80
+80
+00
+00
+80
+ENDCHAR
+STARTCHAR quotedbl
+ENCODING 34
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 4 4 2 5
+BITMAP
+90
+90
+90
+90
+ENDCHAR
+STARTCHAR numbersign
+ENCODING 35
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 5 9 2 0
+BITMAP
+50
+50
+50
+f8
+50
+f8
+50
+50
+50
+ENDCHAR
+STARTCHAR dollar
+ENCODING 36
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 5 13 2 -2
+BITMAP
+20
+20
+78
+88
+80
+c0
+30
+08
+88
+f0
+20
+20
+20
+ENDCHAR
+STARTCHAR percent
+ENCODING 37
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 7 10 1 0
+BITMAP
+60
+90
+90
+66
+18
+30
+cc
+12
+12
+0c
+ENDCHAR
+STARTCHAR ampersand
+ENCODING 38
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 6 8 1 0
+BITMAP
+38
+48
+40
+40
+a8
+90
+98
+64
+ENDCHAR
+STARTCHAR quoteright
+ENCODING 39
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 3 4 2 5
+BITMAP
+60
+60
+c0
+80
+ENDCHAR
+STARTCHAR parenleft
+ENCODING 40
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 3 12 3 -2
+BITMAP
+20
+40
+40
+80
+80
+80
+80
+80
+80
+40
+40
+20
+ENDCHAR
+STARTCHAR parenright
+ENCODING 41
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 3 12 2 -2
+BITMAP
+80
+40
+40
+20
+20
+20
+20
+20
+20
+40
+40
+80
+ENDCHAR
+STARTCHAR asterisk
+ENCODING 42
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 5 6 1 3
+BITMAP
+20
+20
+f8
+20
+50
+88
+ENDCHAR
+STARTCHAR plus
+ENCODING 43
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 7 7 1 1
+BITMAP
+10
+10
+10
+fe
+10
+10
+10
+ENDCHAR
+STARTCHAR comma
+ENCODING 44
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 3 4 2 -2
+BITMAP
+60
+60
+c0
+80
+ENDCHAR
+STARTCHAR minus
+ENCODING 45
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 7 1 1 4
+BITMAP
+fe
+ENDCHAR
+STARTCHAR period
+ENCODING 46
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 2 2 3 0
+BITMAP
+c0
+c0
+ENDCHAR
+STARTCHAR slash
+ENCODING 47
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 6 11 1 -1
+BITMAP
+04
+08
+08
+10
+10
+20
+20
+40
+40
+80
+80
+ENDCHAR
+STARTCHAR zero
+ENCODING 48
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 6 10 1 0
+BITMAP
+78
+84
+84
+84
+84
+84
+84
+84
+84
+78
+ENDCHAR
+STARTCHAR one
+ENCODING 49
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 5 10 1 0
+BITMAP
+20
+60
+a0
+20
+20
+20
+20
+20
+20
+f8
+ENDCHAR
+STARTCHAR two
+ENCODING 50
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 6 10 1 0
+BITMAP
+78
+84
+84
+04
+08
+10
+20
+40
+84
+fc
+ENDCHAR
+STARTCHAR three
+ENCODING 51
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 6 10 1 0
+BITMAP
+78
+84
+04
+04
+38
+04
+04
+04
+84
+78
+ENDCHAR
+STARTCHAR four
+ENCODING 52
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 6 10 1 0
+BITMAP
+18
+28
+28
+48
+48
+88
+88
+fc
+08
+1c
+ENDCHAR
+STARTCHAR five
+ENCODING 53
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 6 10 1 0
+BITMAP
+7c
+40
+40
+40
+78
+04
+04
+04
+84
+78
+ENDCHAR
+STARTCHAR six
+ENCODING 54
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 6 10 1 0
+BITMAP
+38
+40
+80
+80
+b8
+c4
+84
+84
+44
+38
+ENDCHAR
+STARTCHAR seven
+ENCODING 55
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 6 10 1 0
+BITMAP
+fc
+84
+04
+08
+08
+08
+10
+10
+10
+10
+ENDCHAR
+STARTCHAR eight
+ENCODING 56
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 6 10 1 0
+BITMAP
+78
+84
+84
+84
+78
+84
+84
+84
+84
+78
+ENDCHAR
+STARTCHAR nine
+ENCODING 57
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 6 10 1 0
+BITMAP
+70
+88
+84
+84
+8c
+74
+04
+04
+08
+70
+ENDCHAR
+STARTCHAR colon
+ENCODING 58
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 2 7 3 0
+BITMAP
+c0
+c0
+00
+00
+00
+c0
+c0
+ENDCHAR
+STARTCHAR semicolon
+ENCODING 59
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 3 9 2 -2
+BITMAP
+60
+60
+00
+00
+00
+60
+60
+c0
+80
+ENDCHAR
+STARTCHAR less
+ENCODING 60
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 7 7 1 1
+BITMAP
+06
+18
+60
+80
+60
+18
+06
+ENDCHAR
+STARTCHAR equal
+ENCODING 61
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 7 3 1 3
+BITMAP
+fe
+00
+fe
+ENDCHAR
+STARTCHAR greater
+ENCODING 62
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 7 7 1 1
+BITMAP
+c0
+30
+0c
+02
+0c
+30
+c0
+ENDCHAR
+STARTCHAR question
+ENCODING 63
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 5 9 1 0
+BITMAP
+70
+88
+88
+08
+10
+20
+20
+00
+20
+ENDCHAR
+STARTCHAR at
+ENCODING 64
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 7 10 1 -1
+BITMAP
+38
+44
+84
+9c
+a4
+a4
+9e
+80
+40
+38
+ENDCHAR
+STARTCHAR A
+ENCODING 65
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 9 9 0 0
+BITMAP
+3800
+0800
+1400
+1400
+2200
+3e00
+4100
+4100
+f780
+ENDCHAR
+STARTCHAR B
+ENCODING 66
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 7 9 1 0
+BITMAP
+fc
+42
+42
+42
+7c
+42
+42
+42
+fc
+ENDCHAR
+STARTCHAR C
+ENCODING 67
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 7 9 1 0
+BITMAP
+3a
+46
+82
+80
+80
+80
+80
+42
+3c
+ENDCHAR
+STARTCHAR D
+ENCODING 68
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 8 9 0 0
+BITMAP
+fc
+42
+41
+41
+41
+41
+41
+42
+fc
+ENDCHAR
+STARTCHAR E
+ENCODING 69
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 7 9 1 0
+BITMAP
+fe
+42
+42
+48
+78
+48
+42
+42
+fe
+ENDCHAR
+STARTCHAR F
+ENCODING 70
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 7 9 1 0
+BITMAP
+fe
+42
+42
+48
+78
+48
+40
+40
+f0
+ENDCHAR
+STARTCHAR G
+ENCODING 71
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 8 9 0 0
+BITMAP
+3a
+46
+82
+80
+80
+8f
+82
+42
+3c
+ENDCHAR
+STARTCHAR H
+ENCODING 72
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 8 9 0 0
+BITMAP
+e7
+42
+42
+42
+7e
+42
+42
+42
+e7
+ENDCHAR
+STARTCHAR I
+ENCODING 73
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 5 9 2 0
+BITMAP
+f8
+20
+20
+20
+20
+20
+20
+20
+f8
+ENDCHAR
+STARTCHAR J
+ENCODING 74
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 7 9 1 0
+BITMAP
+3e
+08
+08
+08
+08
+88
+88
+88
+70
+ENDCHAR
+STARTCHAR K
+ENCODING 75
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 8 9 0 0
+BITMAP
+ee
+44
+48
+50
+70
+48
+44
+44
+e3
+ENDCHAR
+STARTCHAR L
+ENCODING 76
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 8 9 0 0
+BITMAP
+f8
+20
+20
+20
+20
+21
+21
+21
+ff
+ENDCHAR
+STARTCHAR M
+ENCODING 77
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 9 9 0 0
+BITMAP
+e380
+6300
+5700
+5500
+4900
+4900
+4100
+4100
+e380
+ENDCHAR
+STARTCHAR N
+ENCODING 78
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 8 9 0 0
+BITMAP
+e7
+62
+52
+52
+4a
+4a
+46
+46
+e2
+ENDCHAR
+STARTCHAR O
+ENCODING 79
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 8 9 0 0
+BITMAP
+3c
+42
+81
+81
+81
+81
+81
+42
+3c
+ENDCHAR
+STARTCHAR P
+ENCODING 80
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 7 9 1 0
+BITMAP
+fc
+42
+42
+42
+42
+7c
+40
+40
+f0
+ENDCHAR
+STARTCHAR Q
+ENCODING 81
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 8 11 0 -2
+BITMAP
+3c
+42
+81
+81
+81
+81
+81
+42
+3c
+31
+5e
+ENDCHAR
+STARTCHAR R
+ENCODING 82
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 8 9 0 0
+BITMAP
+fc
+42
+42
+42
+44
+78
+44
+42
+e1
+ENDCHAR
+STARTCHAR S
+ENCODING 83
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 6 9 1 0
+BITMAP
+74
+8c
+84
+80
+78
+04
+84
+c4
+b8
+ENDCHAR
+STARTCHAR T
+ENCODING 84
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 7 9 1 0
+BITMAP
+fe
+92
+92
+10
+10
+10
+10
+10
+7c
+ENDCHAR
+STARTCHAR U
+ENCODING 85
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 8 9 0 0
+BITMAP
+e7
+42
+42
+42
+42
+42
+42
+42
+3c
+ENDCHAR
+STARTCHAR V
+ENCODING 86
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 9 9 0 0
+BITMAP
+e380
+4100
+4100
+2200
+2200
+1400
+1400
+0800
+0800
+ENDCHAR
+STARTCHAR W
+ENCODING 87
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 9 9 0 0
+BITMAP
+e380
+4100
+4900
+4900
+5500
+5500
+2200
+2200
+2200
+ENDCHAR
+STARTCHAR X
+ENCODING 88
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 8 9 0 0
+BITMAP
+e7
+42
+24
+24
+18
+24
+24
+42
+e7
+ENDCHAR
+STARTCHAR Y
+ENCODING 89
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 7 9 1 0
+BITMAP
+ee
+44
+44
+28
+28
+10
+10
+10
+7c
+ENDCHAR
+STARTCHAR Z
+ENCODING 90
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 6 9 1 0
+BITMAP
+fc
+84
+88
+10
+20
+20
+44
+84
+fc
+ENDCHAR
+STARTCHAR bracketleft
+ENCODING 91
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 3 12 3 -2
+BITMAP
+e0
+80
+80
+80
+80
+80
+80
+80
+80
+80
+80
+e0
+ENDCHAR
+STARTCHAR backslash
+ENCODING 92
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 6 11 1 -1
+BITMAP
+80
+40
+40
+20
+20
+10
+10
+08
+08
+04
+04
+ENDCHAR
+STARTCHAR bracketright
+ENCODING 93
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 3 12 2 -2
+BITMAP
+e0
+20
+20
+20
+20
+20
+20
+20
+20
+20
+20
+e0
+ENDCHAR
+STARTCHAR asciicircum
+ENCODING 94
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 5 5 2 4
+BITMAP
+20
+50
+50
+88
+88
+ENDCHAR
+STARTCHAR underscore
+ENCODING 95
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 9 1 0 -3
+BITMAP
+ff80
+ENDCHAR
+STARTCHAR quoteleft
+ENCODING 96
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 3 4 2 5
+BITMAP
+c0
+c0
+60
+20
+ENDCHAR
+STARTCHAR a
+ENCODING 97
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 7 7 1 0
+BITMAP
+78
+84
+04
+7c
+84
+8c
+76
+ENDCHAR
+STARTCHAR b
+ENCODING 98
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 8 10 0 0
+BITMAP
+c0
+40
+40
+5c
+62
+41
+41
+41
+62
+dc
+ENDCHAR
+STARTCHAR c
+ENCODING 99
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 7 7 1 0
+BITMAP
+3a
+46
+82
+80
+80
+42
+3c
+ENDCHAR
+STARTCHAR d
+ENCODING 100
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 8 10 0 0
+BITMAP
+06
+02
+02
+3a
+46
+82
+82
+82
+46
+3b
+ENDCHAR
+STARTCHAR e
+ENCODING 101
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 7 7 1 0
+BITMAP
+38
+44
+82
+fe
+80
+42
+3c
+ENDCHAR
+STARTCHAR f
+ENCODING 102
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 7 10 1 0
+BITMAP
+1e
+20
+20
+fc
+20
+20
+20
+20
+20
+f8
+ENDCHAR
+STARTCHAR g
+ENCODING 103
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 8 10 0 -3
+BITMAP
+3b
+46
+82
+82
+82
+46
+3a
+02
+04
+78
+ENDCHAR
+STARTCHAR h
+ENCODING 104
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 8 10 0 0
+BITMAP
+c0
+40
+40
+5c
+62
+42
+42
+42
+42
+e7
+ENDCHAR
+STARTCHAR i
+ENCODING 105
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 5 10 2 0
+BITMAP
+20
+20
+00
+e0
+20
+20
+20
+20
+20
+f8
+ENDCHAR
+STARTCHAR j
+ENCODING 106
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 5 13 1 -3
+BITMAP
+10
+10
+00
+f8
+08
+08
+08
+08
+08
+08
+08
+10
+e0
+ENDCHAR
+STARTCHAR k
+ENCODING 107
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 7 9 1 0
+BITMAP
+c0
+40
+4e
+48
+50
+60
+50
+48
+ce
+ENDCHAR
+STARTCHAR l
+ENCODING 108
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 5 9 2 0
+BITMAP
+e0
+20
+20
+20
+20
+20
+20
+20
+f8
+ENDCHAR
+STARTCHAR m
+ENCODING 109
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 9 7 0 0
+BITMAP
+db00
+6d00
+4900
+4900
+4900
+4900
+ed80
+ENDCHAR
+STARTCHAR n
+ENCODING 110
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 8 7 0 0
+BITMAP
+dc
+62
+42
+42
+42
+42
+e7
+ENDCHAR
+STARTCHAR o
+ENCODING 111
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 8 7 0 0
+BITMAP
+3c
+42
+81
+81
+81
+42
+3c
+ENDCHAR
+STARTCHAR p
+ENCODING 112
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 8 10 0 -3
+BITMAP
+dc
+62
+41
+41
+41
+62
+5c
+40
+40
+f0
+ENDCHAR
+STARTCHAR q
+ENCODING 113
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 8 10 0 -3
+BITMAP
+3b
+46
+82
+82
+82
+46
+3a
+02
+02
+0f
+ENDCHAR
+STARTCHAR r
+ENCODING 114
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 7 7 1 0
+BITMAP
+cc
+52
+60
+40
+40
+40
+f0
+ENDCHAR
+STARTCHAR s
+ENCODING 115
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 6 7 1 0
+BITMAP
+7c
+84
+80
+78
+04
+84
+f8
+ENDCHAR
+STARTCHAR t
+ENCODING 116
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 6 9 1 0
+BITMAP
+40
+40
+f8
+40
+40
+40
+40
+44
+38
+ENDCHAR
+STARTCHAR u
+ENCODING 117
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 8 7 0 0
+BITMAP
+c6
+42
+42
+42
+42
+46
+3b
+ENDCHAR
+STARTCHAR v
+ENCODING 118
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 8 7 0 0
+BITMAP
+e7
+42
+42
+24
+24
+18
+18
+ENDCHAR
+STARTCHAR w
+ENCODING 119
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 9 7 0 0
+BITMAP
+e380
+4100
+4900
+4900
+2a00
+3600
+3600
+ENDCHAR
+STARTCHAR x
+ENCODING 120
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 7 7 1 0
+BITMAP
+ee
+44
+28
+10
+28
+44
+ee
+ENDCHAR
+STARTCHAR y
+ENCODING 121
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 8 10 0 -3
+BITMAP
+e7
+42
+42
+24
+24
+18
+08
+10
+10
+78
+ENDCHAR
+STARTCHAR z
+ENCODING 122
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 5 7 1 0
+BITMAP
+f8
+88
+10
+20
+40
+88
+f8
+ENDCHAR
+STARTCHAR braceleft
+ENCODING 123
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 3 12 3 -2
+BITMAP
+20
+40
+40
+40
+40
+80
+40
+40
+40
+40
+40
+20
+ENDCHAR
+STARTCHAR bar
+ENCODING 124
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 1 11 4 -2
+BITMAP
+80
+80
+80
+80
+80
+80
+80
+80
+80
+80
+80
+ENDCHAR
+STARTCHAR braceright
+ENCODING 125
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 3 12 2 -2
+BITMAP
+80
+40
+40
+40
+40
+20
+40
+40
+40
+40
+40
+80
+ENDCHAR
+STARTCHAR asciitilde
+ENCODING 126
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 6 2 1 3
+BITMAP
+64
+98
+ENDCHAR
+STARTCHAR space
+ENCODING 160
+SWIDTH 600 0
+DWIDTH 9 0
+BBX 1 1 0 0
+BITMAP
+00
+ENDCHAR
+STARTCHAR not
+ENCODING 161
+SWIDTH 666 0
+DWIDTH 9 0
+BBX 7 4 1 0
+BITMAP
+fe
+06
+06
+06
+ENDCHAR
+STARTCHAR and
+ENCODING 162
+SWIDTH 666 0
+DWIDTH 9 0
+BBX 7 7 1 0
+BITMAP
+10
+28
+28
+44
+44
+82
+82
+ENDCHAR
+STARTCHAR or
+ENCODING 163
+SWIDTH 666 0
+DWIDTH 9 0
+BBX 7 7 1 0
+BITMAP
+82
+82
+44
+44
+28
+28
+10
+ENDCHAR
+STARTCHAR implies
+ENCODING 164
+SWIDTH 666 0
+DWIDTH 9 0
+BBX 8 7 0 0
+BITMAP
+18
+0c
+fe
+03
+fe
+0c
+18
+ENDCHAR
+STARTCHAR equivalent
+ENCODING 165
+SWIDTH 666 0
+DWIDTH 9 0
+BBX 9 7 0 0
+BITMAP
+1400
+2200
+7f00
+c180
+7f00
+2200
+1400
+ENDCHAR
+STARTCHAR not_equal
+ENCODING 166
+SWIDTH 666 0
+DWIDTH 9 0
+BBX 7 5 1 1
+BITMAP
+08
+fe
+10
+fe
+20
+ENDCHAR
+STARTCHAR for_all
+ENCODING 167
+SWIDTH 666 0
+DWIDTH 9 0
+BBX 7 11 1 -2
+BITMAP
+82
+82
+44
+7c
+44
+28
+28
+10
+10
+00
+00
+ENDCHAR
+STARTCHAR exists
+ENCODING 168
+SWIDTH 666 0
+DWIDTH 9 0
+BBX 5 11 2 -2
+BITMAP
+f8
+18
+18
+18
+f8
+18
+18
+18
+f8
+00
+00
+ENDCHAR
+STARTCHAR for_all_bottom
+ENCODING 169
+SWIDTH 666 0
+DWIDTH 9 0
+BBX 9 12 0 -2
+BITMAP
+0100
+8900
+8b80
+8800
+f800
+5000
+5000
+5000
+2000
+2000
+0000
+0000
+ENDCHAR
+STARTCHAR exists_bottom
+ENCODING 170
+SWIDTH 666 0
+DWIDTH 9 0
+BBX 8 12 0 -2
+BITMAP
+02
+f2
+17
+10
+10
+f0
+10
+10
+10
+f0
+00
+00
+ENDCHAR
+STARTCHAR delta
+ENCODING 171
+SWIDTH 144 0
+DWIDTH 9 0
+BBX 5 10 2 0
+BITMAP
+38
+60
+40
+30
+78
+c8
+88
+90
+90
+60
+ENDCHAR
+STARTCHAR sq_subseteq
+ENCODING 172
+SWIDTH 666 0
+DWIDTH 9 0
+BBX 6 6 1 1
+BITMAP
+fc
+80
+80
+fc
+00
+fc
+ENDCHAR
+STARTCHAR bottom
+ENCODING 173
+SWIDTH 666 0
+DWIDTH 9 0
+BBX 7 6 1 1
+BITMAP
+10
+10
+10
+10
+10
+fe
+ENDCHAR
+STARTCHAR rightarrow
+ENCODING 174
+SWIDTH 666 0
+DWIDTH 9 0
+BBX 8 5 0 2
+BITMAP
+0c
+06
+ff
+06
+0c
+ENDCHAR
+STARTCHAR twohead_rightarrow
+ENCODING 175
+SWIDTH 666 0
+DWIDTH 9 0
+BBX 9 5 0 2
+BITMAP
+1200
+0900
+ff80
+0900
+1200
+ENDCHAR
+STARTCHAR times
+ENCODING 176
+SWIDTH 666 0
+DWIDTH 9 0
+BBX 6 6 1 0
+BITMAP
+84
+48
+30
+30
+48
+84
+ENDCHAR
+STARTCHAR subseteq
+ENCODING 177
+SWIDTH 666 0
+DWIDTH 9 0
+BBX 6 10 1 -2
+BITMAP
+7c
+80
+80
+80
+7c
+00
+7c
+00
+00
+00
+ENDCHAR
+STARTCHAR lambda
+ENCODING 178
+SWIDTH 192 0
+DWIDTH 9 0
+BBX 8 10 0 0
+BITMAP
+60
+30
+30
+18
+18
+2c
+2c
+46
+46
+83
+ENDCHAR
+STARTCHAR Gamma
+ENCODING 179
+SWIDTH 216 0
+DWIDTH 9 0
+BBX 7 9 1 0
+BITMAP
+fe
+42
+42
+40
+40
+40
+40
+40
+f0
+ENDCHAR
+STARTCHAR Delta
+ENCODING 180
+SWIDTH 288 0
+DWIDTH 9 0
+BBX 7 8 1 0
+BITMAP
+10
+10
+28
+28
+44
+44
+82
+fe
+ENDCHAR
+STARTCHAR Theta
+ENCODING 181
+SWIDTH 264 0
+DWIDTH 9 0
+BBX 7 9 1 0
+BITMAP
+38
+44
+82
+82
+fe
+82
+82
+44
+38
+ENDCHAR
+STARTCHAR Lambda
+ENCODING 182
+SWIDTH 240 0
+DWIDTH 9 0
+BBX 7 8 1 0
+BITMAP
+10
+10
+28
+28
+28
+44
+44
+ee
+ENDCHAR
+STARTCHAR Xi
+ENCODING 183
+SWIDTH 240 0
+DWIDTH 9 0
+BBX 7 9 1 0
+BITMAP
+fe
+82
+00
+00
+7c
+00
+00
+82
+fe
+ENDCHAR
+STARTCHAR Pi
+ENCODING 184
+SWIDTH 264 0
+DWIDTH 9 0
+BBX 7 8 1 0
+BITMAP
+fe
+44
+44
+44
+44
+44
+44
+ee
+ENDCHAR
+STARTCHAR Sigma
+ENCODING 185
+SWIDTH 240 0
+DWIDTH 9 0
+BBX 7 9 1 0
+BITMAP
+fe
+82
+40
+20
+10
+20
+40
+82
+fe
+ENDCHAR
+STARTCHAR Upsilon
+ENCODING 186
+SWIDTH 264 0
+DWIDTH 9 0
+BBX 7 8 1 0
+BITMAP
+ee
+ba
+10
+10
+10
+10
+10
+38
+ENDCHAR
+STARTCHAR Phi
+ENCODING 187
+SWIDTH 240 0
+DWIDTH 9 0
+BBX 5 9 2 0
+BITMAP
+70
+20
+70
+a8
+a8
+a8
+70
+20
+70
+ENDCHAR
+STARTCHAR Psi
+ENCODING 188
+SWIDTH 264 0
+DWIDTH 9 0
+BBX 7 9 1 0
+BITMAP
+38
+10
+92
+54
+54
+54
+38
+10
+38
+ENDCHAR
+STARTCHAR Omega
+ENCODING 189
+SWIDTH 240 0
+DWIDTH 9 0
+BBX 7 9 1 0
+BITMAP
+38
+44
+82
+82
+82
+44
+28
+aa
+ee
+ENDCHAR
+STARTCHAR alpha
+ENCODING 190
+SWIDTH 216 0
+DWIDTH 9 0
+BBX 8 6 0 0
+BITMAP
+39
+49
+8e
+8c
+8c
+76
+ENDCHAR
+STARTCHAR beta
+ENCODING 191
+SWIDTH 192 0
+DWIDTH 9 0
+BBX 7 11 1 -3
+BITMAP
+1c
+22
+22
+4c
+42
+42
+44
+98
+80
+80
+00
+ENDCHAR
+STARTCHAR gamma
+ENCODING 192
+SWIDTH 168 0
+DWIDTH 9 0
+BBX 7 9 1 -3
+BITMAP
+62
+94
+08
+08
+18
+18
+28
+28
+10
+ENDCHAR
+STARTCHAR epsilon
+ENCODING 193
+SWIDTH 144 0
+DWIDTH 9 0
+BBX 4 6 2 0
+BITMAP
+70
+40
+e0
+80
+90
+60
+ENDCHAR
+STARTCHAR zeta
+ENCODING 194
+SWIDTH 144 0
+DWIDTH 9 0
+BBX 6 13 1 -3
+BITMAP
+10
+1c
+20
+40
+40
+80
+80
+80
+c0
+70
+18
+18
+00
+ENDCHAR
+STARTCHAR eta
+ENCODING 195
+SWIDTH 168 0
+DWIDTH 9 0
+BBX 6 9 1 -3
+BITMAP
+dc
+64
+44
+44
+88
+88
+08
+10
+10
+ENDCHAR
+STARTCHAR theta
+ENCODING 196
+SWIDTH 216 0
+DWIDTH 9 0
+BBX 7 10 1 0
+BITMAP
+0c
+12
+12
+12
+ce
+24
+24
+48
+48
+70
+ENDCHAR
+STARTCHAR iota
+ENCODING 197
+SWIDTH 120 0
+DWIDTH 9 0
+BBX 3 6 3 0
+BITMAP
+c0
+40
+40
+80
+a0
+c0
+ENDCHAR
+STARTCHAR kappa
+ENCODING 198
+SWIDTH 192 0
+DWIDTH 9 0
+BBX 7 6 1 0
+BITMAP
+ce
+50
+70
+50
+52
+8c
+ENDCHAR
+STARTCHAR mu
+ENCODING 199
+SWIDTH 216 0
+DWIDTH 9 0
+BBX 7 9 1 -3
+BITMAP
+22
+22
+44
+44
+44
+7e
+40
+80
+80
+ENDCHAR
+STARTCHAR nu
+ENCODING 200
+SWIDTH 168 0
+DWIDTH 9 0
+BBX 6 6 1 0
+BITMAP
+64
+24
+28
+48
+50
+e0
+ENDCHAR
+STARTCHAR xi
+ENCODING 201
+SWIDTH 144 0
+DWIDTH 9 0
+BBX 6 13 1 -3
+BITMAP
+10
+3c
+40
+40
+40
+38
+40
+80
+80
+f0
+08
+08
+10
+ENDCHAR
+STARTCHAR pi
+ENCODING 202
+SWIDTH 192 0
+DWIDTH 9 0
+BBX 7 6 1 0
+BITMAP
+7e
+a8
+28
+28
+48
+48
+ENDCHAR
+STARTCHAR rho
+ENCODING 203
+SWIDTH 168 0
+DWIDTH 9 0
+BBX 6 9 1 -3
+BITMAP
+1c
+24
+44
+44
+48
+70
+40
+40
+80
+ENDCHAR
+STARTCHAR sigma
+ENCODING 204
+SWIDTH 192 0
+DWIDTH 9 0
+BBX 7 6 1 0
+BITMAP
+3e
+48
+88
+88
+88
+70
+ENDCHAR
+STARTCHAR tau
+ENCODING 205
+SWIDTH 144 0
+DWIDTH 9 0
+BBX 6 6 1 0
+BITMAP
+7c
+a0
+20
+20
+20
+c0
+ENDCHAR
+STARTCHAR upsilon
+ENCODING 206
+SWIDTH 192 0
+DWIDTH 9 0
+BBX 7 6 1 0
+BITMAP
+46
+c2
+42
+44
+48
+30
+ENDCHAR
+STARTCHAR phi
+ENCODING 207
+SWIDTH 216 0
+DWIDTH 9 0
+BBX 7 9 1 -3
+BITMAP
+4c
+92
+92
+a2
+a4
+78
+40
+40
+40
+ENDCHAR
+STARTCHAR chi
+ENCODING 208
+SWIDTH 216 0
+DWIDTH 9 0
+BBX 8 9 0 -3
+BITMAP
+61
+32
+14
+18
+10
+10
+30
+48
+44
+ENDCHAR
+STARTCHAR psi
+ENCODING 209
+SWIDTH 216 0
+DWIDTH 9 0
+BBX 7 11 1 -3
+BITMAP
+08
+48
+ca
+4a
+52
+54
+54
+38
+10
+00
+00
+ENDCHAR
+STARTCHAR omega
+ENCODING 210
+SWIDTH 216 0
+DWIDTH 9 0
+BBX 7 6 1 0
+BITMAP
+42
+82
+92
+a2
+a4
+78
+ENDCHAR
+STARTCHAR leftarrow
+ENCODING 211
+SWIDTH 666 0
+DWIDTH 9 0
+BBX 8 5 0 2
+BITMAP
+30
+60
+ff
+60
+30
+ENDCHAR
+STARTCHAR Leftarrow
+ENCODING 212
+SWIDTH 666 0
+DWIDTH 9 0
+BBX 8 7 0 0
+BITMAP
+18
+30
+7f
+c0
+7f
+30
+18
+ENDCHAR
+STARTCHAR leftrightarrow
+ENCODING 213
+SWIDTH 666 0
+DWIDTH 9 0
+BBX 9 5 0 2
+BITMAP
+3600
+6300
+ff80
+6300
+3600
+ENDCHAR
+STARTCHAR doteq
+ENCODING 214
+SWIDTH 144 0
+DWIDTH 9 0
+BBX 7 5 1 2
+BITMAP
+10
+00
+fe
+00
+fe
+ENDCHAR
+STARTCHAR mapsto
+ENCODING 215
+SWIDTH 666 0
+DWIDTH 9 0
+BBX 7 5 1 2
+BITMAP
+88
+84
+fe
+84
+88
+ENDCHAR
+STARTCHAR leadsto
+ENCODING 216
+SWIDTH 666 0
+DWIDTH 9 0
+BBX 8 5 0 2
+BITMAP
+04
+62
+93
+0e
+04
+ENDCHAR
+STARTCHAR uparrow
+ENCODING 217
+SWIDTH 144 0
+DWIDTH 9 0
+BBX 5 9 2 0
+BITMAP
+20
+70
+a8
+20
+20
+20
+20
+20
+20
+ENDCHAR
+STARTCHAR downarrow
+ENCODING 218
+SWIDTH 144 0
+DWIDTH 9 0
+BBX 5 9 2 0
+BITMAP
+20
+20
+20
+20
+20
+20
+a8
+70
+20
+ENDCHAR
+STARTCHAR rightarrow_tail
+ENCODING 219
+SWIDTH 666 0
+DWIDTH 9 0
+BBX 8 5 0 2
+BITMAP
+84
+42
+3f
+42
+84
+ENDCHAR
+STARTCHAR models
+ENCODING 220
+SWIDTH 666 0
+DWIDTH 9 0
+BBX 6 7 1 1
+BITMAP
+80
+80
+fc
+80
+fc
+80
+80
+ENDCHAR
+STARTCHAR vdash
+ENCODING 221
+SWIDTH 666 0
+DWIDTH 9 0
+BBX 6 7 1 1
+BITMAP
+80
+80
+80
+fc
+80
+80
+80
+ENDCHAR
+STARTCHAR Box
+ENCODING 222
+SWIDTH 666 0
+DWIDTH 9 0
+BBX 5 5 2 1
+BITMAP
+f8
+88
+88
+88
+f8
+ENDCHAR
+STARTCHAR diamond
+ENCODING 223
+SWIDTH 666 0
+DWIDTH 9 0
+BBX 7 7 1 1
+BITMAP
+10
+28
+44
+82
+44
+28
+10
+ENDCHAR
+STARTCHAR circ
+ENCODING 224
+SWIDTH 666 0
+DWIDTH 9 0
+BBX 5 5 2 2
+BITMAP
+70
+88
+88
+88
+70
+ENDCHAR
+STARTCHAR bullet
+ENCODING 225
+SWIDTH 666 0
+DWIDTH 9 0
+BBX 5 5 2 2
+BITMAP
+70
+f8
+f8
+f8
+70
+ENDCHAR
+STARTCHAR Join
+ENCODING 226
+SWIDTH 666 0
+DWIDTH 9 0
+BBX 7 7 1 1
+BITMAP
+82
+c6
+aa
+92
+aa
+c6
+82
+ENDCHAR
+STARTCHAR infinity
+ENCODING 227
+SWIDTH 666 0
+DWIDTH 9 0
+BBX 7 5 1 2
+BITMAP
+44
+aa
+92
+aa
+44
+ENDCHAR
+STARTCHAR in
+ENCODING 228
+SWIDTH 216 0
+DWIDTH 9 0
+BBX 6 10 1 -3
+BITMAP
+3c
+40
+80
+f8
+80
+40
+3c
+00
+00
+00
+ENDCHAR
+STARTCHAR not_in
+ENCODING 229
+SWIDTH 666 0
+DWIDTH 9 0
+BBX 6 9 1 -1
+BITMAP
+08
+3c
+50
+90
+f8
+a0
+40
+7c
+80
+ENDCHAR
+STARTCHAR ni
+ENCODING 230
+SWIDTH 216 0
+DWIDTH 9 0
+BBX 6 7 1 0
+BITMAP
+f0
+08
+04
+7c
+04
+08
+f0
+ENDCHAR
+STARTCHAR not_ni
+ENCODING 231
+SWIDTH 666 0
+DWIDTH 9 0
+BBX 6 9 1 -1
+BITMAP
+08
+f8
+18
+14
+7c
+24
+48
+f0
+80
+ENDCHAR
+STARTCHAR subset
+ENCODING 232
+SWIDTH 0 0
+DWIDTH 9 0
+BBX 6 6 1 1
+BITMAP
+7c
+80
+80
+80
+80
+7c
+ENDCHAR
+STARTCHAR not_subset
+ENCODING 233
+SWIDTH 0 0
+DWIDTH 9 0
+BBX 6 8 1 0
+BITMAP
+08
+7c
+90
+90
+a0
+a0
+7c
+40
+ENDCHAR
+STARTCHAR not_subseteq
+ENCODING 234
+SWIDTH 0 0
+DWIDTH 9 0
+BBX 6 9 1 0
+BITMAP
+08
+7c
+90
+90
+a0
+7c
+40
+fc
+80
+ENDCHAR
+STARTCHAR supset
+ENCODING 235
+SWIDTH 0 0
+DWIDTH 9 0
+BBX 6 6 1 1
+BITMAP
+f8
+04
+04
+04
+04
+f8
+ENDCHAR
+STARTCHAR not_supset
+ENCODING 236
+SWIDTH 0 0
+DWIDTH 9 0
+BBX 6 8 1 0
+BITMAP
+08
+f8
+14
+14
+24
+24
+f8
+40
+ENDCHAR
+STARTCHAR supseteq
+ENCODING 237
+SWIDTH 0 0
+DWIDTH 9 0
+BBX 6 7 1 1
+BITMAP
+f8
+04
+04
+04
+f8
+00
+f8
+ENDCHAR
+STARTCHAR not_supseteq
+ENCODING 238
+SWIDTH 0 0
+DWIDTH 9 0
+BBX 6 9 1 0
+BITMAP
+08
+f8
+14
+24
+24
+f8
+40
+f8
+80
+ENDCHAR
+STARTCHAR sqsubset
+ENCODING 239
+SWIDTH 666 0
+DWIDTH 9 0
+BBX 6 5 1 2
+BITMAP
+fc
+80
+80
+80
+fc
+ENDCHAR
+STARTCHAR not_sqsubset
+ENCODING 240
+SWIDTH 666 0
+DWIDTH 9 0
+BBX 6 7 1 1
+BITMAP
+08
+fc
+90
+90
+a0
+fc
+40
+ENDCHAR
+STARTCHAR not_sqsubseteq
+ENCODING 241
+SWIDTH 666 0
+DWIDTH 9 0
+BBX 6 8 1 0
+BITMAP
+08
+fc
+90
+90
+fc
+20
+fc
+40
+ENDCHAR
+STARTCHAR prec
+ENCODING 242
+SWIDTH 666 0
+DWIDTH 9 0
+BBX 7 7 1 2
+BITMAP
+02
+04
+18
+e0
+18
+04
+02
+ENDCHAR
+STARTCHAR preceq
+ENCODING 243
+SWIDTH 666 0
+DWIDTH 9 0
+BBX 7 9 1 0
+BITMAP
+02
+04
+18
+e0
+18
+04
+02
+00
+fe
+ENDCHAR
+STARTCHAR succ
+ENCODING 244
+SWIDTH 666 0
+DWIDTH 9 0
+BBX 7 7 1 2
+BITMAP
+80
+40
+30
+0e
+30
+40
+80
+ENDCHAR
+STARTCHAR succeq
+ENCODING 245
+SWIDTH 666 0
+DWIDTH 9 0
+BBX 7 9 1 0
+BITMAP
+80
+40
+30
+0e
+30
+40
+80
+00
+fe
+ENDCHAR
+STARTCHAR sim
+ENCODING 246
+SWIDTH 240 0
+DWIDTH 9 0
+BBX 7 3 1 3
+BITMAP
+60
+92
+0c
+ENDCHAR
+STARTCHAR simeq
+ENCODING 247
+SWIDTH 240 0
+DWIDTH 9 0
+BBX 7 5 1 2
+BITMAP
+60
+92
+0c
+00
+fe
+ENDCHAR
+STARTCHAR le
+ENCODING 248
+SWIDTH 666 0
+DWIDTH 9 0
+BBX 6 8 1 0
+BITMAP
+0c
+30
+c0
+30
+0c
+00
+00
+fc
+ENDCHAR
+STARTCHAR ge
+ENCODING 249
+SWIDTH 666 0
+DWIDTH 9 0
+BBX 6 8 1 0
+BITMAP
+c0
+30
+0c
+30
+c0
+00
+00
+fc
+ENDCHAR
+STARTCHAR equiv
+ENCODING 250
+SWIDTH 240 0
+DWIDTH 9 0
+BBX 6 5 1 1
+BITMAP
+fc
+00
+fc
+00
+fc
+ENDCHAR
+STARTCHAR not_equiv
+ENCODING 251
+SWIDTH 240 0
+DWIDTH 9 0
+BBX 6 7 1 0
+BITMAP
+08
+fc
+10
+fc
+20
+fc
+40
+ENDCHAR
+STARTCHAR emptyset
+ENCODING 252
+SWIDTH 666 0
+DWIDTH 9 0
+BBX 8 13 0 -2
+BITMAP
+00
+00
+00
+00
+1d
+22
+45
+49
+51
+22
+5c
+00
+00
+ENDCHAR
+STARTCHAR cap
+ENCODING 253
+SWIDTH 666 0
+DWIDTH 9 0
+BBX 6 7 1 0
+BITMAP
+78
+cc
+84
+84
+84
+84
+84
+ENDCHAR
+STARTCHAR cup
+ENCODING 254
+SWIDTH 666 0
+DWIDTH 9 0
+BBX 6 7 1 0
+BITMAP
+84
+84
+84
+84
+84
+cc
+78
+ENDCHAR
+STARTCHAR cal_P
+ENCODING 255
+SWIDTH 666 0
+DWIDTH 9 0
+BBX 7 9 1 0
+BITMAP
+78
+b4
+22
+22
+66
+7c
+40
+c0
+80
+ENDCHAR
+ENDFONT
isabelle