1 files changed, 0 insertions, 2576 deletions
diff --git a/x-symbol/etc/fonts/xsymb1_12.bdf b/x-symbol/etc/fonts/xsymb1_12.bdf
deleted file mode 100644
index 04341114..00000000
--- a/x-symbol/etc/fonts/xsymb1_12.bdf
+++ /dev/null
@@ -1,2576 +0,0 @@
-STARTFONT 2.1
-COMMENT xsymb1_12.bdf --- additional font for package x-symbol
-COMMENT
-COMMENT Copyright (C) 1997-2001 Free Software Foundation, Inc.
-COMMENT
-COMMENT Author: Christoph Wedler <wedler@users.sourceforge.net>
-COMMENT Version: 3.4
-COMMENT Keywords: fonts, WYSIWYG, LaTeX, HTML, wp, math
-COMMENT X-URL: http://x-symbol.sourceforge.net/
-COMMENT
-COMMENT This font is free software; you can redistribute it and/or modify
-COMMENT it under the terms of the GNU General Public License as published by
-COMMENT the Free Software Foundation; either version 2, or (at your option)
-COMMENT any later version.
-COMMENT
-COMMENT This program is distributed in the hope that it will be useful,
-COMMENT but WITHOUT ANY WARRANTY; without even the implied warranty of
-COMMENT MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
-COMMENT GNU General Public License for more details.
-COMMENT
-COMMENT You should have received a copy of the GNU General Public License
-COMMENT along with this program; if not, write to the Free Software
-COMMENT Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
-COMMENT 
-COMMENT 
-FONT -XSYMB-XSymb1-Medium-R-Normal--12-120-75-75-P-74-XSYMB-XSymb1
-SIZE 12 75 75
-FONTBOUNDINGBOX 17 14 2 -3
-STARTPROPERTIES 23
-FONTNAME_REGISTRY ""
-FAMILY_NAME "XSymb1"
-FOUNDRY "XSYMB"
-WEIGHT_NAME "Medium"
-SETWIDTH_NAME "Normal"
-SLANT "R"
-ADD_STYLE_NAME ""
-PIXEL_SIZE 12
-POINT_SIZE 120
-RESOLUTION_X 75
-RESOLUTION_Y 75
-SPACING "P"
-AVERAGE_WIDTH 74
-CHARSET_REGISTRY "XSYMB"
-CHARSET_ENCODING "XSymb1"
-CHARSET_COLLECTIONS "XSymb1"
-FONT_DESCENT 3
-FONT_ASCENT 11
-CAP_HEIGHT 9
-X_HEIGHT 6
-FACE_NAME "XSymb1"
-DEVICE_FONT_NAME "XSymb1"
-COPYRIGHT "1997-2001 Free Software Foundation, Inc."
-ENDPROPERTIES
-CHARS 169
-STARTCHAR verticaldots
-ENCODING 33
-SWIDTH 250 0
-DWIDTH 5 0
-BBX 1 10 2 -1
-BITMAP
-80
-80
-00
-00
-80
-80
-00
-00
-80
-80
-ENDCHAR
-STARTCHAR backslash1
-ENCODING 34
-SWIDTH 250 0
-DWIDTH 6 0
-BBX 5 11 0 -2
-BITMAP
-80
-c0
-40
-60
-20
-30
-10
-18
-08
-00
-78
-ENDCHAR
-STARTCHAR dagger
-ENCODING 35
-SWIDTH 250 0
-DWIDTH 7 0
-BBX 5 11 1 -2
-BITMAP
-70
-70
-20
-f8
-20
-70
-70
-70
-70
-20
-20
-ENDCHAR
-STARTCHAR percent2
-ENCODING 38
-SWIDTH 833 0
-DWIDTH 10 0
-BBX 9 9 0 0
-BITMAP
-7900
-9700
-9200
-6400
-0800
-1300
-1480
-2480
-6300
-ENDCHAR
-STARTCHAR guilsinglright
-ENCODING 39
-SWIDTH 250 0
-DWIDTH 5 0
-BBX 3 5 1 1
-BITMAP
-80
-40
-20
-40
-80
-ENDCHAR
-STARTCHAR NG
-ENCODING 40
-SWIDTH 250 0
-DWIDTH 9 0
-BBX 7 9 1 0
-BITMAP
-b8
-c4
-82
-82
-82
-82
-82
-92
-9c
-ENDCHAR
-STARTCHAR OE
-ENCODING 41
-SWIDTH 1000 0
-DWIDTH 12 0
-BBX 10 9 1 0
-BITMAP
-3fc0
-4400
-8400
-8400
-87c0
-8400
-8400
-4400
-3fc0
-ENDCHAR
-STARTCHAR dotlessj
-ENCODING 42
-SWIDTH 250 0
-DWIDTH 5 0
-BBX 4 10 0 -3
-BITMAP
-10
-10
-10
-10
-10
-10
-10
-10
-10
-e0
-ENDCHAR
-STARTCHAR ng
-ENCODING 43
-SWIDTH 250 0
-DWIDTH 7 0
-BBX 5 11 1 -3
-BITMAP
-00
-b0
-c8
-88
-88
-88
-88
-88
-08
-28
-30
-ENDCHAR
-STARTCHAR oe
-ENCODING 44
-SWIDTH 944 0
-DWIDTH 11 0
-BBX 9 7 1 0
-BITMAP
-7700
-8880
-8880
-8f80
-8800
-8880
-7700
-ENDCHAR
-STARTCHAR sharp
-ENCODING 45
-SWIDTH 250 0
-DWIDTH 7 0
-BBX 5 10 1 -1
-BITMAP
-10
-58
-78
-f0
-d0
-58
-78
-f0
-d0
-40
-ENDCHAR
-STARTCHAR ceilingleft
-ENCODING 46
-SWIDTH 480 0
-DWIDTH 6 0
-BBX 4 11 1 -2
-BITMAP
-f0
-f0
-80
-80
-80
-80
-80
-80
-80
-80
-80
-ENDCHAR
-STARTCHAR ceilingright
-ENCODING 47
-SWIDTH 480 0
-DWIDTH 6 0
-BBX 4 11 1 -2
-BITMAP
-f0
-f0
-10
-10
-10
-10
-10
-10
-10
-10
-10
-ENDCHAR
-STARTCHAR zero1
-ENCODING 48
-SWIDTH 556 0
-DWIDTH 8 0
-BBX 7 9 1 0
-BITMAP
-3C
-66
-66
-46
-C6
-C4
-CC
-CC
-78
-ENDCHAR
-STARTCHAR one1
-ENCODING 49
-SWIDTH 556 0
-DWIDTH 7 0
-BBX 5 9 2 0
-BITMAP
-18
-F8
-30
-60
-60
-60
-C0
-C0
-C0
-ENDCHAR
-STARTCHAR two1
-ENCODING 50
-SWIDTH 556 0
-DWIDTH 8 0
-BBX 7 9 1 0
-BITMAP
-3C
-66
-06
-0C
-18
-30
-60
-C0
-F8
-ENDCHAR
-STARTCHAR three1
-ENCODING 51
-SWIDTH 556 0
-DWIDTH 8 0
-BBX 7 9 1 0
-BITMAP
-3C
-66
-06
-06
-3C
-0C
-0C
-CC
-78
-ENDCHAR
-STARTCHAR four1
-ENCODING 52
-SWIDTH 556 0
-DWIDTH 8 0
-BBX 7 9 1 0
-BITMAP
-06
-0E
-16
-26
-4C
-CC
-FE
-18
-18
-ENDCHAR
-STARTCHAR five1
-ENCODING 53
-SWIDTH 556 0
-DWIDTH 8 0
-BBX 7 9 1 0
-BITMAP
-1E
-30
-60
-78
-0C
-0C
-0C
-D8
-70
-ENDCHAR
-STARTCHAR six1
-ENCODING 54
-SWIDTH 556 0
-DWIDTH 8 0
-BBX 7 9 1 0
-BITMAP
-1C
-36
-60
-78
-EC
-CC
-C4
-CC
-78
-ENDCHAR
-STARTCHAR seven1
-ENCODING 55
-SWIDTH 556 0
-DWIDTH 8 0
-BBX 7 9 1 0
-BITMAP
-7E
-06
-0C
-0C
-18
-30
-30
-60
-C0
-ENDCHAR
-STARTCHAR eight1
-ENCODING 56
-SWIDTH 556 0
-DWIDTH 8 0
-BBX 7 9 1 0
-BITMAP
-3C
-66
-66
-2C
-78
-CC
-CC
-DC
-78
-ENDCHAR
-STARTCHAR nine1
-ENCODING 57
-SWIDTH 556 0
-DWIDTH 8 0
-BBX 7 9 1 0
-BITMAP
-3C
-66
-46
-66
-6E
-3C
-0C
-D8
-70
-ENDCHAR
-STARTCHAR star
-ENCODING 58
-SWIDTH 250 0
-DWIDTH 7 0
-BBX 5 9 1 1
-BITMAP
-00
-00
-00
-00
-20
-a8
-f8
-70
-d8
-ENDCHAR
-STARTCHAR lozenge1
-ENCODING 59
-SWIDTH 250 0
-DWIDTH 9 0
-BBX 9 9 0 -1
-BITMAP
-0800
-1c00
-3600
-6300
-c180
-6300
-3600
-1c00
-0800
-ENDCHAR
-STARTCHAR braceleft2
-ENCODING 60
-SWIDTH 480 0
-DWIDTH 8 0
-BBX 6 11 1 -2
-BITMAP
-1c
-30
-30
-30
-64
-cc
-64
-30
-30
-30
-1c
-ENDCHAR
-STARTCHAR circleslash
-ENCODING 61
-SWIDTH 768 0
-DWIDTH 9 0
-BBX 7 7 1 0
-BITMAP
-38
-44
-8a
-92
-a2
-44
-38
-ENDCHAR
-STARTCHAR braceright2
-ENCODING 62
-SWIDTH 480 0
-DWIDTH 8 0
-BBX 6 11 1 -2
-BITMAP
-e0
-30
-30
-30
-98
-cc
-98
-30
-30
-30
-e0
-ENDCHAR
-STARTCHAR triangle1
-ENCODING 63
-SWIDTH 713 0
-DWIDTH 8 0
-BBX 6 6 1 1
-BITMAP
-30
-48
-48
-84
-84
-fc
-ENDCHAR
-STARTCHAR smalltriangleright
-ENCODING 64
-SWIDTH 713 0
-DWIDTH 8 0
-BBX 6 6 1 1
-BITMAP
-e0
-98
-84
-84
-98
-e0
-ENDCHAR
-STARTCHAR triangleleft
-ENCODING 65
-SWIDTH 713 0
-DWIDTH 10 0
-BBX 8 7 1 0
-BITMAP
-07
-1d
-71
-c1
-71
-1d
-07
-ENDCHAR
-STARTCHAR triangle
-ENCODING 66
-SWIDTH 713 0
-DWIDTH 9 0
-BBX 7 9 1 0
-BITMAP
-10
-10
-38
-28
-6c
-44
-c6
-82
-fe
-ENDCHAR
-STARTCHAR triangleright
-ENCODING 67
-SWIDTH 713 0
-DWIDTH 10 0
-BBX 8 7 1 1
-BITMAP
-e0
-b8
-8e
-83
-8e
-b8
-e0
-ENDCHAR
-STARTCHAR trianglelefteq
-ENCODING 68
-SWIDTH 713 0
-DWIDTH 11 0
-BBX 8 9 1 -1
-BITMAP
-07
-1d
-71
-c1
-71
-1d
-07
-00
-7f
-ENDCHAR
-STARTCHAR trianglerighteq
-ENCODING 69
-SWIDTH 713 0
-DWIDTH 10 0
-BBX 8 9 1 -1
-BITMAP
-e0
-b8
-8e
-83
-8e
-b8
-e0
-00
-fe
-ENDCHAR
-STARTCHAR dotpunct
-ENCODING 70
-SWIDTH 250 0
-DWIDTH 6 0
-BBX 4 7 1 -2
-BITMAP
-40
-40
-00
-00
-00
-00
-f0
-ENDCHAR
-STARTCHAR dotequal
-ENCODING 71
-SWIDTH 549 0
-DWIDTH 9 0
-BBX 7 6 1 1
-BITMAP
-10
-10
-00
-fe
-00
-fe
-ENDCHAR
-STARTCHAR wrong
-ENCODING 72
-SWIDTH 250 0
-DWIDTH 5 0
-BBX 3 10 1 0
-BITMAP
-00
-00
-c0
-20
-20
-40
-40
-80
-80
-60
-ENDCHAR
-STARTCHAR natural
-ENCODING 73
-SWIDTH 250 0
-DWIDTH 6 0
-BBX 4 11 1 -2
-BITMAP
-80
-80
-b0
-f0
-d0
-90
-b0
-f0
-d0
-10
-10
-ENDCHAR
-STARTCHAR flat
-ENCODING 74
-SWIDTH 250 0
-DWIDTH 6 0
-BBX 4 9 1 0
-BITMAP
-80
-80
-80
-f0
-90
-b0
-b0
-e0
-c0
-ENDCHAR
-STARTCHAR epsilon1
-ENCODING 75
-SWIDTH 439 0
-DWIDTH 6 0
-BBX 5 6 1 0
-BITMAP
-70
-88
-60
-80
-c8
-70
-ENDCHAR
-STARTCHAR hbar
-ENCODING 76
-SWIDTH 250 0
-DWIDTH 7 0
-BBX 6 10 0 0
-BITMAP
-00
-40
-f8
-40
-58
-64
-44
-44
-44
-44
-ENDCHAR
-STARTCHAR imath
-ENCODING 77
-SWIDTH 329 0
-DWIDTH 5 0
-BBX 4 6 0 0
-BITMAP
-70
-b0
-30
-60
-60
-70
-ENDCHAR
-STARTCHAR kappa1
-ENCODING 78
-SWIDTH 329 0
-DWIDTH 8 0
-BBX 6 6 1 0
-BITMAP
-e4
-ac
-38
-70
-d4
-9c
-ENDCHAR
-STARTCHAR jmath
-ENCODING 79
-SWIDTH 329 0
-DWIDTH 6 0
-BBX 5 9 0 -3
-BITMAP
-38
-58
-18
-18
-10
-30
-b0
-f0
-60
-ENDCHAR
-STARTCHAR ell
-ENCODING 80
-SWIDTH 250 0
-DWIDTH 6 0
-BBX 5 11 0 0
-BITMAP
-00
-00
-30
-48
-48
-48
-48
-50
-e0
-48
-30
-ENDCHAR
-STARTCHAR amalg
-ENCODING 81
-SWIDTH 768 0
-DWIDTH 9 0
-BBX 8 9 0 0
-BITMAP
-e7
-42
-42
-42
-42
-42
-42
-42
-ff
-ENDCHAR
-STARTCHAR rho1
-ENCODING 82
-SWIDTH 549 0
-DWIDTH 7 0
-BBX 5 9 1 -3
-BITMAP
-70
-88
-88
-88
-c8
-b0
-80
-80
-70
-ENDCHAR
-STARTCHAR top
-ENCODING 83
-SWIDTH 658 0
-DWIDTH 8 0
-BBX 7 8 0 -1
-BITMAP
-fe
-10
-10
-10
-10
-10
-10
-10
-ENDCHAR
-STARTCHAR Mho
-ENCODING 84
-SWIDTH 768 0
-DWIDTH 11 0
-BBX 10 9 0 0
-BITMAP
-f3c0
-9240
-2100
-4080
-4080
-4080
-2100
-3300
-1e00
-ENDCHAR
-STARTCHAR floorleft
-ENCODING 85
-SWIDTH 480 0
-DWIDTH 7 0
-BBX 5 11 1 -2
-BITMAP
-80
-80
-80
-80
-80
-80
-80
-80
-80
-f8
-f8
-ENDCHAR
-STARTCHAR floorright
-ENCODING 86
-SWIDTH 480 0
-DWIDTH 7 0
-BBX 5 11 1 -2
-BITMAP
-08
-08
-08
-08
-08
-08
-08
-08
-08
-f8
-f8
-ENDCHAR
-STARTCHAR perpendicular1
-ENCODING 87
-SWIDTH 658 0
-DWIDTH 7 0
-BBX 5 6 1 1
-BITMAP
-20
-20
-20
-20
-20
-f8
-ENDCHAR
-STARTCHAR box
-ENCODING 88
-SWIDTH 250 0
-DWIDTH 9 0
-BBX 7 8 1 0
-BITMAP
-fe
-82
-82
-82
-82
-82
-82
-fe
-ENDCHAR
-STARTCHAR asciicircum1
-ENCODING 89
-SWIDTH 200 0
-DWIDTH 7 0
-BBX 5 11 1 -2
-BITMAP
-20
-70
-d8
-88
-00
-00
-00
-00
-00
-00
-70
-ENDCHAR
-STARTCHAR asciitilde1
-ENCODING 90
-SWIDTH 200 0
-DWIDTH 8 0
-BBX 6 11 1 -2
-BITMAP
-64
-b4
-98
-00
-00
-00
-00
-00
-00
-00
-78
-ENDCHAR
-STARTCHAR leadsto
-ENCODING 91
-SWIDTH 987 0
-DWIDTH 13 0
-BBX 11 5 1 1
-BITMAP
-0080
-4240
-e7e0
-1840
-0080
-ENDCHAR
-STARTCHAR quotedbl1
-ENCODING 92
-SWIDTH 355 0
-DWIDTH 5 0
-BBX 3 3 1 6
-BITMAP
-a0
-a0
-a0
-ENDCHAR
-STARTCHAR longarrowleft
-ENCODING 93
-SWIDTH 987 0
-DWIDTH 19 0
-BBX 17 5 1 1
-BITMAP
-200000
-400000
-ffff80
-400000
-200000
-ENDCHAR
-STARTCHAR arrowupdown
-ENCODING 94
-SWIDTH 603 0
-DWIDTH 7 0
-BBX 5 12 1 -2
-BITMAP
-20
-70
-a8
-20
-20
-20
-20
-20
-20
-a8
-70
-20
-ENDCHAR
-STARTCHAR longarrowright
-ENCODING 95
-SWIDTH 987 0
-DWIDTH 19 0
-BBX 17 5 1 1
-BITMAP
-000200
-000100
-ffff80
-000100
-000200
-ENDCHAR
-STARTCHAR longmapsto
-ENCODING 96
-SWIDTH 987 0
-DWIDTH 19 0
-BBX 17 5 1 1
-BITMAP
-800200
-800100
-ffff80
-800100
-800200
-ENDCHAR
-STARTCHAR longarrowdblboth
-ENCODING 97
-SWIDTH 987 0
-DWIDTH 19 0
-BBX 17 5 1 1
-BITMAP
-200200
-7fff00
-c00180
-7fff00
-200200
-ENDCHAR
-STARTCHAR longarrowdblleft
-ENCODING 98
-SWIDTH 987 0
-DWIDTH 19 0
-BBX 17 5 1 1
-BITMAP
-200000
-7fff80
-c00000
-7fff80
-200000
-ENDCHAR
-STARTCHAR arrowdblupdown
-ENCODING 99
-SWIDTH 603 0
-DWIDTH 7 0
-BBX 5 12 1 -2
-BITMAP
-20
-70
-d8
-50
-50
-50
-50
-50
-50
-d8
-70
-20
-ENDCHAR
-STARTCHAR longarrowdblright
-ENCODING 100
-SWIDTH 987 0
-DWIDTH 19 0
-BBX 17 5 1 1
-BITMAP
-000200
-ffff00
-000180
-ffff00
-000200
-ENDCHAR
-STARTCHAR mapsto
-ENCODING 101
-SWIDTH 987 0
-DWIDTH 13 0
-BBX 11 5 1 1
-BITMAP
-8080
-8040
-ffe0
-8040
-8080
-ENDCHAR
-STARTCHAR iff
-ENCODING 102
-SWIDTH 987 0
-DWIDTH 21 0
-BBX 17 7 2 1
-BITMAP
-05b000
-012000
-25b200
-752700
-c00180
-7fff00
-200200
-ENDCHAR
-STARTCHAR hookleftarrow
-ENCODING 103
-SWIDTH 494 0
-DWIDTH 13 0
-BBX 11 5 1 1
-BITMAP
-2040
-4020
-ffe0
-4000
-2000
-ENDCHAR
-STARTCHAR hookrightarrow
-ENCODING 104
-SWIDTH 494 0
-DWIDTH 13 0
-BBX 11 5 1 1
-BITMAP
-4080
-8040
-7fe0
-0040
-0080
-ENDCHAR
-STARTCHAR arrownortheast
-ENCODING 105
-SWIDTH 494 0
-DWIDTH 13 0
-BBX 11 11 1 -2
-BITMAP
-01e0
-0060
-00a0
-0120
-0200
-0400
-0800
-1000
-2000
-4000
-8000
-ENDCHAR
-STARTCHAR arrowsoutheast
-ENCODING 106
-SWIDTH 494 0
-DWIDTH 13 0
-BBX 11 11 1 -2
-BITMAP
-8000
-4000
-2000
-1000
-0800
-0400
-0200
-0120
-00a0
-0060
-01e0
-ENDCHAR
-STARTCHAR arrownorthwest
-ENCODING 107
-SWIDTH 494 0
-DWIDTH 13 0
-BBX 11 11 1 -2
-BITMAP
-f000
-c000
-a000
-9000
-0800
-0400
-0200
-0100
-0080
-0040
-0020
-ENDCHAR
-STARTCHAR arrowsouthwest
-ENCODING 108
-SWIDTH 494 0
-DWIDTH 13 0
-BBX 11 11 1 -2
-BITMAP
-0020
-0040
-0080
-0100
-0200
-0400
-0800
-9000
-a000
-c000
-f000
-ENDCHAR
-STARTCHAR rightleftharpoons
-ENCODING 109
-SWIDTH 494 0
-DWIDTH 13 0
-BBX 11 7 1 0
-BITMAP
-0080
-0040
-ffe0
-0000
-ffe0
-4000
-2000
-ENDCHAR
-STARTCHAR leftharpoondown
-ENCODING 110
-SWIDTH 494 0
-DWIDTH 13 0
-BBX 11 3 1 1
-BITMAP
-ffe0
-4000
-2000
-ENDCHAR
-STARTCHAR rightharpoondown
-ENCODING 111
-SWIDTH 494 0
-DWIDTH 13 0
-BBX 11 3 1 1
-BITMAP
-ffe0
-0040
-0080
-ENDCHAR
-STARTCHAR leftharpoonup
-ENCODING 112
-SWIDTH 494 0
-DWIDTH 13 0
-BBX 11 3 1 2
-BITMAP
-2000
-4000
-ffe0
-ENDCHAR
-STARTCHAR rightharpoonup
-ENCODING 113
-SWIDTH 494 0
-DWIDTH 13 0
-BBX 11 3 1 3
-BITMAP
-0080
-0040
-ffe0
-ENDCHAR
-STARTCHAR bardbl
-ENCODING 114
-SWIDTH 480 0
-DWIDTH 6 0
-BBX 4 11 1 -2
-BITMAP
-90
-90
-90
-90
-90
-90
-90
-90
-90
-90
-90
-ENDCHAR
-STARTCHAR shortbardbl
-ENCODING 115
-SWIDTH 480 0
-DWIDTH 5 0
-BBX 3 7 1 0
-BITMAP
-a0
-a0
-a0
-a0
-a0
-a0
-a0
-ENDCHAR
-STARTCHAR backslash2
-ENCODING 116
-SWIDTH 250 0
-DWIDTH 8 0
-BBX 6 11 1 -2
-BITMAP
-80
-c0
-c0
-60
-60
-30
-30
-18
-18
-0c
-0c
-ENDCHAR
-STARTCHAR backslash3
-ENCODING 117
-SWIDTH 250 0
-DWIDTH 7 0
-BBX 5 8 1 0
-BITMAP
-00
-80
-80
-40
-20
-10
-08
-08
-ENDCHAR
-STARTCHAR diagonaldots
-ENCODING 118
-SWIDTH 250 0
-DWIDTH 9 0
-BBX 7 10 1 -1
-BITMAP
-80
-80
-00
-00
-10
-10
-00
-00
-02
-02
-ENDCHAR
-STARTCHAR simequal
-ENCODING 119
-SWIDTH 549 0
-DWIDTH 8 0
-BBX 6 6 1 0
-BITMAP
-64
-b4
-98
-00
-00
-fc
-ENDCHAR
-STARTCHAR florin
-ENCODING 120
-SWIDTH 500 0
-DWIDTH 8 0
-BBX 7 9 1 -2
-BITMAP
-3e
-30
-30
-60
-78
-60
-c0
-c0
-c0
-ENDCHAR
-STARTCHAR asym
-ENCODING 121
-SWIDTH 250 0
-DWIDTH 10 0
-BBX 8 7 1 0
-BITMAP
-81
-42
-3c
-00
-3c
-42
-81
-ENDCHAR
-STARTCHAR minusplus
-ENCODING 122
-SWIDTH 250 0
-DWIDTH 7 0
-BBX 5 9 1 0
-BITMAP
-00
-00
-f8
-00
-20
-20
-f8
-20
-20
-ENDCHAR
-STARTCHAR less2
-ENCODING 123
-SWIDTH 549 0
-DWIDTH 7 0
-BBX 6 5 0 1
-BITMAP
-0c
-30
-c0
-30
-0c
-ENDCHAR
-STARTCHAR bowtie
-ENCODING 124
-SWIDTH 250 0
-DWIDTH 9 0
-BBX 7 5 1 2
-BITMAP
-c6
-aa
-92
-aa
-c6
-ENDCHAR
-STARTCHAR greater2
-ENCODING 125
-SWIDTH 549 0
-DWIDTH 7 0
-BBX 6 5 0 1
-BITMAP
-c0
-30
-0c
-30
-c0
-ENDCHAR
-STARTCHAR centraldots
-ENCODING 126
-SWIDTH 1000 0
-DWIDTH 11 0
-BBX 9 2 1 3
-BITMAP
-8880
-8880
-ENDCHAR
-STARTCHAR visiblespace
-ENCODING 160
-SWIDTH 250 0
-DWIDTH 7 0
-BBX 5 3 1 -1
-BITMAP
-00
-88
-f8
-ENDCHAR
-STARTCHAR dagger1
-ENCODING 161
-SWIDTH 250 0
-DWIDTH 7 0
-BBX 5 8 1 0
-BITMAP
-20
-20
-f8
-20
-20
-70
-20
-20
-ENDCHAR
-STARTCHAR circledot
-ENCODING 162
-SWIDTH 768 0
-DWIDTH 9 0
-BBX 7 7 1 0
-BITMAP
-38
-44
-82
-92
-82
-44
-38
-ENDCHAR
-STARTCHAR propersqsuperset
-ENCODING 163
-SWIDTH 713 0
-DWIDTH 9 0
-BBX 7 6 1 1
-BITMAP
-fe
-02
-02
-02
-02
-fe
-ENDCHAR
-STARTCHAR reflexsqsuperset
-ENCODING 164
-SWIDTH 713 0
-DWIDTH 9 0
-BBX 7 8 1 0
-BITMAP
-fe
-02
-02
-02
-02
-fe
-00
-fe
-ENDCHAR
-STARTCHAR gradient1
-ENCODING 165
-SWIDTH 713 0
-DWIDTH 8 0
-BBX 6 6 1 1
-BITMAP
-fc
-84
-84
-48
-48
-30
-ENDCHAR
-STARTCHAR propersqsubset
-ENCODING 166
-SWIDTH 713 0
-DWIDTH 9 0
-BBX 7 6 1 1
-BITMAP
-fe
-80
-80
-80
-80
-fe
-ENDCHAR
-STARTCHAR reflexsqsubset
-ENCODING 167
-SWIDTH 713 0
-DWIDTH 9 0
-BBX 7 8 1 0
-BITMAP
-fe
-80
-80
-80
-80
-fe
-00
-fe
-ENDCHAR
-STARTCHAR smalllozenge
-ENCODING 168
-SWIDTH 494 0
-DWIDTH 9 0
-BBX 7 7 1 1
-BITMAP
-10
-28
-44
-82
-44
-28
-10
-ENDCHAR
-STARTCHAR lessless
-ENCODING 169
-SWIDTH 549 0
-DWIDTH 12 0
-BBX 10 7 1 0
-BITMAP
-0440
-1980
-6600
-8800
-6600
-1980
-0440
-ENDCHAR
-STARTCHAR greatergreater
-ENCODING 170
-SWIDTH 549 0
-DWIDTH 12 0
-BBX 10 7 1 0
-BITMAP
-8800
-6600
-1980
-0440
-1980
-6600
-8800
-ENDCHAR
-STARTCHAR unionplus
-ENCODING 171
-SWIDTH 768 0
-DWIDTH 9 0
-BBX 7 6 1 1
-BITMAP
-92
-92
-fe
-92
-54
-38
-ENDCHAR
-STARTCHAR sqintersection
-ENCODING 172
-SWIDTH 768 0
-DWIDTH 9 0
-BBX 7 6 1 1
-BITMAP
-fe
-82
-82
-82
-82
-82
-ENDCHAR
-STARTCHAR squnion
-ENCODING 173
-SWIDTH 768 0
-DWIDTH 9 0
-BBX 7 6 1 1
-BITMAP
-82
-82
-82
-82
-82
-fe
-ENDCHAR
-STARTCHAR frown
-ENCODING 174
-SWIDTH 250 0
-DWIDTH 10 0
-BBX 8 3 1 2
-BITMAP
-3c
-42
-81
-ENDCHAR
-STARTCHAR smile
-ENCODING 175
-SWIDTH 250 0
-DWIDTH 10 0
-BBX 8 3 1 2
-BITMAP
-81
-42
-3c
-ENDCHAR
-STARTCHAR reflexprec
-ENCODING 176
-SWIDTH 549 0
-DWIDTH 8 0
-BBX 6 9 1 -1
-BITMAP
-04
-04
-18
-e0
-18
-04
-04
-00
-fc
-ENDCHAR
-STARTCHAR reflexsucc
-ENCODING 177
-SWIDTH 549 0
-DWIDTH 8 0
-BBX 6 9 1 -1
-BITMAP
-80
-80
-60
-1c
-60
-80
-80
-00
-fc
-ENDCHAR
-STARTCHAR properprec
-ENCODING 178
-SWIDTH 549 0
-DWIDTH 8 0
-BBX 6 7 1 0
-BITMAP
-04
-04
-18
-e0
-18
-04
-04
-ENDCHAR
-STARTCHAR propersucc
-ENCODING 179
-SWIDTH 549 0
-DWIDTH 8 0
-BBX 6 7 1 0
-BITMAP
-80
-80
-60
-1c
-60
-80
-80
-ENDCHAR
-STARTCHAR bardash
-ENCODING 180
-SWIDTH 494 0
-DWIDTH 8 0
-BBX 6 7 1 0
-BITMAP
-80
-80
-80
-fc
-80
-80
-80
-ENDCHAR
-STARTCHAR dashbar
-ENCODING 181
-SWIDTH 494 0
-DWIDTH 8 0
-BBX 6 7 1 0
-BITMAP
-04
-04
-04
-fc
-04
-04
-04
-ENDCHAR
-STARTCHAR bardashdbl
-ENCODING 182
-SWIDTH 494 0
-DWIDTH 8 0
-BBX 6 7 1 0
-BITMAP
-80
-80
-fc
-80
-fc
-80
-80
-ENDCHAR
-STARTCHAR smallintegral
-ENCODING 183
-SWIDTH 274 0
-DWIDTH 7 0
-BBX 5 9 1 0
-BITMAP
-18
-28
-20
-20
-20
-20
-20
-a0
-c0
-ENDCHAR
-STARTCHAR circleintegral
-ENCODING 184
-SWIDTH 274 0
-DWIDTH 8 0
-BBX 6 11 1 -2
-BITMAP
-1c
-34
-30
-78
-b4
-b4
-b4
-78
-30
-b0
-e0
-ENDCHAR
-STARTCHAR coproduct
-ENCODING 185
-SWIDTH 823 0
-DWIDTH 11 0
-BBX 9 11 1 -2
-BITMAP
-e380
-6300
-6300
-6300
-6300
-6300
-6300
-6300
-6300
-6300
-ff80
-ENDCHAR
-STARTCHAR bigcircledot
-ENCODING 186
-SWIDTH 768 0
-DWIDTH 11 0
-BBX 9 9 1 -1
-BITMAP
-3e00
-7f00
-e380
-c180
-c980
-c180
-e380
-7f00
-3e00
-ENDCHAR
-STARTCHAR bigcirclemultiply
-ENCODING 187
-SWIDTH 768 0
-DWIDTH 11 0
-BBX 9 9 1 -1
-BITMAP
-3e00
-7f00
-e380
-d580
-c980
-d580
-e380
-7f00
-3e00
-ENDCHAR
-STARTCHAR bigcircleplus
-ENCODING 188
-SWIDTH 768 0
-DWIDTH 11 0
-BBX 9 9 1 -1
-BITMAP
-3e00
-7f00
-eb80
-c980
-ff80
-c980
-eb80
-7f00
-3e00
-ENDCHAR
-STARTCHAR biglogicaland
-ENCODING 189
-SWIDTH 603 0
-DWIDTH 11 0
-BBX 9 11 1 -2
-BITMAP
-1c00
-1c00
-3600
-3600
-3600
-6300
-6300
-6300
-c180
-c180
-c180
-ENDCHAR
-STARTCHAR biglogicalor
-ENCODING 190
-SWIDTH 603 0
-DWIDTH 11 0
-BBX 9 11 1 -2
-BITMAP
-c180
-c180
-c180
-6300
-6300
-6300
-3600
-3600
-3600
-1c00
-1c00
-ENDCHAR
-STARTCHAR bigintersection
-ENCODING 191
-SWIDTH 603 0
-DWIDTH 11 0
-BBX 9 11 1 -2
-BITMAP
-3e00
-6300
-c180
-c180
-c180
-c180
-c180
-c180
-c180
-c180
-c180
-ENDCHAR
-STARTCHAR bigunion
-ENCODING 192
-SWIDTH 603 0
-DWIDTH 11 0
-BBX 9 11 1 -2
-BITMAP
-c180
-c180
-c180
-c180
-c180
-c180
-c180
-c180
-c180
-6300
-3e00
-ENDCHAR
-STARTCHAR bigunionplus
-ENCODING 193
-SWIDTH 603 0
-DWIDTH 11 0
-BBX 9 11 1 -2
-BITMAP
-c180
-c180
-c180
-c980
-c980
-ff80
-c980
-c980
-c180
-6300
-3e00
-ENDCHAR
-STARTCHAR bigsqunion
-ENCODING 194
-SWIDTH 603 0
-DWIDTH 11 0
-BBX 9 11 1 -2
-BITMAP
-c180
-c180
-c180
-c180
-c180
-c180
-c180
-c180
-c180
-c180
-ff80
-ENDCHAR
-STARTCHAR bigcircle
-ENCODING 195
-SWIDTH 768 0
-DWIDTH 11 0
-BBX 9 9 1 0
-BITMAP
-3e00
-6300
-c180
-8080
-8080
-8080
-c180
-6300
-3e00
-ENDCHAR
-STARTCHAR guilsinglleft
-ENCODING 196
-SWIDTH 250 0
-DWIDTH 5 0
-BBX 3 5 1 1
-BITMAP
-20
-40
-80
-40
-20
-ENDCHAR
-STARTCHAR circleminus
-ENCODING 197
-SWIDTH 768 0
-DWIDTH 9 0
-BBX 7 7 1 0
-BITMAP
-38
-44
-82
-fe
-82
-44
-38
-ENDCHAR
-STARTCHAR smalltriangleleft
-ENCODING 198
-SWIDTH 713 0
-DWIDTH 8 0
-BBX 6 6 1 1
-BITMAP
-1c
-64
-84
-84
-64
-1c
-ENDCHAR
-STARTCHAR perthousand
-ENCODING 199
-SWIDTH 1000 0
-DWIDTH 14 0
-BBX 13 8 0 0
-BITMAP
-6200
-9400
-9400
-6800
-0b30
-14c8
-14c8
-2330
-ENDCHAR
-STARTCHAR existential1
-ENCODING 200
-SWIDTH 549 0
-DWIDTH 7 0
-BBX 5 9 1 0
-BITMAP
-f8
-08
-08
-08
-f8
-08
-08
-08
-f8
-ENDCHAR
-STARTCHAR daggerdbl1
-ENCODING 201
-SWIDTH 250 0
-DWIDTH 7 0
-BBX 5 8 1 0
-BITMAP
-20
-f8
-20
-70
-70
-20
-f8
-20
-ENDCHAR
-STARTCHAR daggerdbl
-ENCODING 202
-SWIDTH 250 0
-DWIDTH 7 0
-BBX 5 11 1 -2
-BITMAP
-20
-a8
-f8
-20
-70
-20
-70
-20
-f8
-a8
-20
-ENDCHAR
-STARTCHAR bigbowtie
-ENCODING 203
-SWIDTH 250 0
-DWIDTH 11 0
-BBX 9 7 1 1
-BITMAP
-c180
-a280
-9480
-8880
-9480
-a280
-c180
-ENDCHAR
-STARTCHAR circ
-ENCODING 204
-SWIDTH 460 0
-DWIDTH 6 0
-BBX 4 4 1 2
-BITMAP
-60
-90
-90
-60
-ENDCHAR
-STARTCHAR grave
-ENCODING 205
-SWIDTH 333 0
-DWIDTH 4 0
-BBX 2 2 1 7
-BITMAP
-80
-40
-ENDCHAR
-STARTCHAR circumflex
-ENCODING 206
-SWIDTH 333 0
-DWIDTH 5 0
-BBX 3 2 1 7
-BITMAP
-40
-a0
-ENDCHAR
-STARTCHAR tilde
-ENCODING 207
-SWIDTH 333 0
-DWIDTH 7 0
-BBX 5 2 1 7
-BITMAP
-68
-b0
-ENDCHAR
-STARTCHAR longarrowboth
-ENCODING 208
-SWIDTH 987 0
-DWIDTH 19 0
-BBX 17 5 1 1
-BITMAP
-200200
-400100
-ffff80
-400100
-200200
-ENDCHAR
-STARTCHAR endash
-ENCODING 209
-SWIDTH 556 0
-DWIDTH 8 0
-BBX 8 1 0 3
-BITMAP
-ff
-ENDCHAR
-STARTCHAR emdash
-ENCODING 210
-SWIDTH 1000 0
-DWIDTH 14 0
-BBX 14 1 0 3
-BITMAP
-fffc
-ENDCHAR
-STARTCHAR Ydiaeresis
-ENCODING 211
-SWIDTH 667 0
-DWIDTH 9 0
-BBX 7 11 1 0
-BITMAP
-28
-00
-82
-82
-44
-44
-28
-10
-10
-10
-10
-ENDCHAR
-STARTCHAR ampersand2
-ENCODING 212
-SWIDTH 778 0
-DWIDTH 10 0
-BBX 9 9 1 0
-BITMAP
-3000
-4800
-4800
-3700
-7200
-9a00
-8c00
-8c80
-7300
-ENDCHAR
-STARTCHAR universal1
-ENCODING 213
-SWIDTH 713 0
-DWIDTH 9 0
-BBX 9 9 0 0
-BITMAP
-8080
-4100
-4100
-3e00
-2200
-1400
-1400
-0800
-0800
-ENDCHAR
-STARTCHAR booleans
-ENCODING 214
-SWIDTH 667 0
-DWIDTH 11 0
-BBX 9 9 1 0
-BITMAP
-ff00
-5380
-5280
-5380
-5f00
-5280
-5280
-5380
-ff00
-ENDCHAR
-STARTCHAR complexnums
-ENCODING 215
-SWIDTH 722 0
-DWIDTH 9 0
-BBX 7 9 1 0
-BITMAP
-3a
-66
-a2
-a0
-a0
-a0
-a0
-62
-3e
-ENDCHAR
-STARTCHAR natnums
-ENCODING 216
-SWIDTH 722 0
-DWIDTH 10 0
-BBX 8 9 1 0
-BITMAP
-e7
-72
-5a
-6e
-76
-5a
-4e
-46
-e2
-ENDCHAR
-STARTCHAR rationalnums
-ENCODING 217
-SWIDTH 722 0
-DWIDTH 10 0
-BBX 8 10 1 -1
-BITMAP
-3c
-66
-a5
-a5
-a5
-a5
-a5
-66
-3c
-0f
-ENDCHAR
-STARTCHAR realnums
-ENCODING 218
-SWIDTH 667 0
-DWIDTH 11 0
-BBX 9 9 1 0
-BITMAP
-ff00
-5380
-5280
-5380
-5f00
-5a00
-5500
-5580
-f380
-ENDCHAR
-STARTCHAR integers
-ENCODING 219
-SWIDTH 611 0
-DWIDTH 9 0
-BBX 7 9 1 0
-BITMAP
-fe
-96
-34
-2c
-68
-58
-d2
-a6
-fe
-ENDCHAR
-STARTCHAR lesssim
-ENCODING 220
-SWIDTH 549 0
-DWIDTH 8 0
-BBX 6 8 1 0
-BITMAP
-0c
-30
-c0
-30
-0c
-00
-64
-98
-ENDCHAR
-STARTCHAR greatersim
-ENCODING 221
-SWIDTH 549 0
-DWIDTH 8 0
-BBX 6 8 1 0
-BITMAP
-c0
-30
-0c
-30
-c0
-00
-64
-98
-ENDCHAR
-STARTCHAR lessapprox
-ENCODING 222
-SWIDTH 549 0
-DWIDTH 8 0
-BBX 6 11 1 -2
-BITMAP
-0c
-30
-c0
-30
-0c
-00
-64
-98
-00
-64
-98
-ENDCHAR
-STARTCHAR greaterapprox
-ENCODING 223
-SWIDTH 549 0
-DWIDTH 8 0
-BBX 6 11 1 -2
-BITMAP
-c0
-30
-0c
-30
-c0
-00
-64
-98
-00
-64
-98
-ENDCHAR
-STARTCHAR definedas
-ENCODING 224
-SWIDTH 549 0
-DWIDTH 7 0
-BBX 5 7 1 1
-BITMAP
-20
-50
-f8
-00
-f8
-00
-f8
-ENDCHAR
-STARTCHAR circleminus1
-ENCODING 225
-SWIDTH 768 0
-DWIDTH 9 0
-BBX 7 7 1 0
-BITMAP
-38
-44
-82
-ba
-82
-44
-38
-ENDCHAR
-STARTCHAR circleasterisk
-ENCODING 226
-SWIDTH 768 0
-DWIDTH 9 0
-BBX 7 7 1 0
-BITMAP
-38
-54
-d6
-ba
-d6
-54
-38
-ENDCHAR
-STARTCHAR circlecirc
-ENCODING 227
-SWIDTH 768 0
-DWIDTH 9 0
-BBX 7 7 1 0
-BITMAP
-38
-44
-ba
-aa
-ba
-44
-38
-ENDCHAR
-STARTCHAR dollar1
-ENCODING 228
-SWIDTH 556 0
-DWIDTH 8 0
-BBX 7 11 0 -1
-BITMAP
-28
-7c
-aa
-a8
-a8
-7c
-2a
-2a
-aa
-7c
-28
-ENDCHAR
-STARTCHAR euro
-ENCODING 229
-SWIDTH 722 0
-DWIDTH 10 0
-BBX 8 9 1 -1
-BITMAP
-1e
-21
-40
-fe
-40
-fc
-40
-21
-1e
-ENDCHAR
-STARTCHAR therefore1
-ENCODING 230
-SWIDTH 863 0
-DWIDTH 9 0
-BBX 7 6 1 0
-BITMAP
-10
-10
-00
-00
-82
-82
-ENDCHAR
-STARTCHAR coloncolon
-ENCODING 231
-SWIDTH 863 0
-DWIDTH 6 0
-BBX 4 6 1 0
-BITMAP
-90
-90
-00
-00
-90
-90
-ENDCHAR
-STARTCHAR bigsqintersection
-ENCODING 232
-SWIDTH 603 0
-DWIDTH 11 0
-BBX 9 11 1 -2
-BITMAP
-ff80
-c180
-c180
-c180
-c180
-c180
-c180
-c180
-c180
-c180
-c180
-ENDCHAR
-STARTCHAR semanticsleft
-ENCODING 233
-SWIDTH 863 0
-DWIDTH 6 0
-BBX 5 11 1 -2
-BITMAP
-f8
-a0
-a0
-a0
-a0
-a0
-a0
-a0
-a0
-a0
-f8
-ENDCHAR
-STARTCHAR semanticsright
-ENCODING 234
-SWIDTH 863 0
-DWIDTH 6 0
-BBX 5 11 0 -2
-BITMAP
-f8
-28
-28
-28
-28
-28
-28
-28
-28
-28
-f8
-ENDCHAR
-STARTCHAR cataleft
-ENCODING 235
-SWIDTH 1000 0
-DWIDTH 6 0
-BBX 4 11 1 -2
-BITMAP
-30
-50
-50
-90
-90
-90
-90
-90
-50
-50
-30
-ENDCHAR
-STARTCHAR cataright
-ENCODING 236
-SWIDTH 1000 0
-DWIDTH 6 0
-BBX 4 11 1 -2
-BITMAP
-c0
-a0
-a0
-90
-90
-90
-90
-90
-a0
-a0
-c0
-ENDCHAR
-ENDFONT