Admin/xsymbol/xsymb1_14.bdf
author wenzelm
Tue, 16 Jan 2001 00:33:40 +0100
changeset 10911 eb5721204b38
parent 10048 eb9983e554fd
permissions -rw-r--r--
proper induction rule for arbitrarily branching datatype;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
10048
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
     1
STARTFONT 2.1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
     2
COMMENT xsymb1_14.bdf --- additional font for package x-symbol
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
     3
COMMENT
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
     4
COMMENT Copyright (C) 1996-1999 Free Software Foundation, Inc.
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
     5
COMMENT
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
     6
COMMENT Author: Christoph Wedler <wedler@fmi.uni-passau.de>
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
     7
COMMENT Version: $Id$
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
     8
COMMENT Keywords: fonts, WYSIWYG, LaTeX, HTML, wp, math
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
     9
COMMENT X-URL: http://www.fmi.uni-passau.de/~wedler/x-symbol/
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    10
COMMENT
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    11
COMMENT This font is free software; you can redistribute it and/or modify
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    12
COMMENT it under the terms of the GNU General Public License as published by
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    13
COMMENT the Free Software Foundation; either version 2, or (at your option)
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    14
COMMENT any later version.
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    15
COMMENT
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    16
COMMENT This program is distributed in the hope that it will be useful,
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    17
COMMENT but WITHOUT ANY WARRANTY; without even the implied warranty of
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    18
COMMENT MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    19
COMMENT GNU General Public License for more details.
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    20
COMMENT
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    21
COMMENT You should have received a copy of the GNU General Public License
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    22
COMMENT along with this program; if not, write to the Free Software
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    23
COMMENT Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    24
COMMENT 
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    25
COMMENT 
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    26
FONT -XSYMB-XSymb1-Medium-R-Normal--14-140-75-75-P-85-XSYMB-XSymb1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    27
SIZE 14 75 75
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    28
FONTBOUNDINGBOX 19 16 2 -3
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    29
STARTPROPERTIES 23
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    30
FONTNAME_REGISTRY ""
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    31
FAMILY_NAME "XSymb1"
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    32
FOUNDRY "XSYMB"
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    33
WEIGHT_NAME "Medium"
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    34
SETWIDTH_NAME "Normal"
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    35
SLANT "R"
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    36
ADD_STYLE_NAME ""
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    37
PIXEL_SIZE 14
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    38
POINT_SIZE 140
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    39
RESOLUTION_X 75
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    40
RESOLUTION_Y 75
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    41
SPACING "P"
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    42
AVERAGE_WIDTH 85
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    43
CHARSET_REGISTRY "XSYMB"
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    44
CHARSET_ENCODING "XSymb1"
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    45
CHARSET_COLLECTIONS "XSymb1"
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    46
FONT_DESCENT 3
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    47
FONT_ASCENT 13
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    48
CAP_HEIGHT 10
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    49
X_HEIGHT 7
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    50
FACE_NAME "XSymb1"
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    51
DEVICE_FONT_NAME "XSymb1"
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    52
COPYRIGHT "1997-1999 Free Software Foundation, Inc."
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    53
ENDPROPERTIES
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    54
CHARS 169
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    55
STARTCHAR verticaldots
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    56
ENCODING 33
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    57
SWIDTH 250 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    58
DWIDTH 5 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    59
BBX 1 10 2 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    60
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    61
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    62
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    63
00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    64
00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    65
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    66
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    67
00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    68
00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    69
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    70
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    71
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    72
STARTCHAR backslash1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    73
ENCODING 34
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    74
SWIDTH 250 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    75
DWIDTH 7 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    76
BBX 6 13 0 -2
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    77
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    78
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    79
c0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    80
40
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    81
60
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    82
20
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    83
30
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    84
10
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    85
18
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    86
08
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    87
0c
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    88
04
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    89
00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    90
7c
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    91
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    92
STARTCHAR dagger
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    93
ENCODING 35
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    94
SWIDTH 250 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    95
DWIDTH 7 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    96
BBX 5 13 1 -2
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    97
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    98
70
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
    99
70
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   100
20
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   101
f8
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   102
20
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   103
70
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   104
70
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   105
70
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   106
70
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   107
70
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   108
20
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   109
20
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   110
20
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   111
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   112
STARTCHAR percent2
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   113
ENCODING 38
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   114
SWIDTH 833 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   115
DWIDTH 12 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   116
BBX 9 10 1 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   117
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   118
7980
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   119
9700
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   120
9200
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   121
9400
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   122
6c00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   123
1b00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   124
1480
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   125
2480
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   126
4480
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   127
c300
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   128
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   129
STARTCHAR guilsinglright
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   130
ENCODING 39
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   131
SWIDTH 250 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   132
DWIDTH 5 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   133
BBX 3 5 1 2
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   134
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   135
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   136
40
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   137
20
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   138
40
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   139
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   140
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   141
STARTCHAR NG
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   142
ENCODING 40
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   143
SWIDTH 250 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   144
DWIDTH 10 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   145
BBX 8 11 1 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   146
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   147
bc
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   148
c2
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   149
83
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   150
81
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   151
81
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   152
81
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   153
81
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   154
81
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   155
81
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   156
91
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   157
9e
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   158
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   159
STARTCHAR OE
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   160
ENCODING 41
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   161
SWIDTH 1000 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   162
DWIDTH 15 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   163
BBX 13 11 1 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   164
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   165
1ff8
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   166
6300
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   167
4100
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   168
8100
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   169
8100
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   170
81f8
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   171
8100
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   172
8100
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   173
4100
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   174
6300
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   175
1ff8
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   176
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   177
STARTCHAR dotlessj
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   178
ENCODING 42
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   179
SWIDTH 250 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   180
DWIDTH 5 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   181
BBX 4 11 0 -3
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   182
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   183
10
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   184
10
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   185
10
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   186
10
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   187
10
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   188
10
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   189
10
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   190
10
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   191
10
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   192
10
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   193
e0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   194
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   195
STARTCHAR ng
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   196
ENCODING 43
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   197
SWIDTH 250 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   198
DWIDTH 8 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   199
BBX 6 11 1 -3
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   200
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   201
b8
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   202
cc
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   203
84
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   204
84
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   205
84
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   206
84
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   207
84
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   208
84
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   209
04
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   210
14
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   211
18
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   212
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   213
STARTCHAR oe
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   214
ENCODING 44
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   215
SWIDTH 944 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   216
DWIDTH 13 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   217
BBX 11 8 1 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   218
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   219
7bc0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   220
ce60
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   221
8420
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   222
87e0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   223
8400
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   224
8400
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   225
ce60
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   226
7bc0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   227
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   228
STARTCHAR sharp
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   229
ENCODING 45
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   230
SWIDTH 250 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   231
DWIDTH 8 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   232
BBX 6 12 1 -1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   233
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   234
08
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   235
4c
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   236
5c
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   237
78
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   238
e8
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   239
c8
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   240
4c
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   241
5c
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   242
78
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   243
e8
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   244
c0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   245
40
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   246
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   247
STARTCHAR ceilingleft
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   248
ENCODING 46
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   249
SWIDTH 480 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   250
DWIDTH 7 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   251
BBX 5 13 1 -2
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   252
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   253
f8
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   254
f8
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   255
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   256
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   257
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   258
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   259
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   260
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   261
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   262
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   263
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   264
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   265
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   266
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   267
STARTCHAR ceilingright
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   268
ENCODING 47
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   269
SWIDTH 480 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   270
DWIDTH 7 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   271
BBX 5 13 1 -2
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   272
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   273
f8
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   274
f8
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   275
08
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   276
08
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   277
08
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   278
08
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   279
08
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   280
08
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   281
08
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   282
08
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   283
08
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   284
08
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   285
08
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   286
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   287
STARTCHAR zero
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   288
ENCODING 48
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   289
SWIDTH 500 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   290
DWIDTH 7 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   291
BBX 6 10 0 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   292
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   293
78
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   294
cc
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   295
84
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   296
84
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   297
84
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   298
84
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   299
84
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   300
84
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   301
cc
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   302
78
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   303
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   304
STARTCHAR one
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   305
ENCODING 49
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   306
SWIDTH 500 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   307
DWIDTH 7 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   308
BBX 5 10 1 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   309
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   310
20
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   311
e0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   312
20
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   313
20
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   314
20
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   315
20
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   316
20
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   317
20
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   318
20
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   319
f8
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   320
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   321
STARTCHAR two
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   322
ENCODING 50
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   323
SWIDTH 500 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   324
DWIDTH 7 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   325
BBX 6 10 0 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   326
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   327
70
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   328
d8
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   329
88
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   330
08
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   331
18
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   332
10
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   333
20
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   334
40
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   335
c4
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   336
fc
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   337
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   338
STARTCHAR three
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   339
ENCODING 51
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   340
SWIDTH 500 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   341
DWIDTH 7 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   342
BBX 6 10 0 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   343
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   344
78
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   345
cc
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   346
84
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   347
0c
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   348
38
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   349
0c
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   350
04
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   351
04
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   352
cc
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   353
78
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   354
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   355
STARTCHAR four
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   356
ENCODING 52
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   357
SWIDTH 500 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   358
DWIDTH 7 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   359
BBX 6 10 0 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   360
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   361
08
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   362
18
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   363
18
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   364
28
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   365
68
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   366
48
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   367
88
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   368
fc
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   369
08
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   370
08
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   371
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   372
STARTCHAR five
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   373
ENCODING 53
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   374
SWIDTH 500 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   375
DWIDTH 7 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   376
BBX 5 10 1 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   377
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   378
78
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   379
40
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   380
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   381
e0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   382
30
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   383
18
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   384
08
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   385
08
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   386
90
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   387
e0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   388
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   389
STARTCHAR six
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   390
ENCODING 54
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   391
SWIDTH 500 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   392
DWIDTH 7 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   393
BBX 6 10 0 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   394
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   395
1c
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   396
30
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   397
40
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   398
40
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   399
f8
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   400
8c
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   401
84
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   402
84
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   403
cc
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   404
78
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   405
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   406
STARTCHAR seven
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   407
ENCODING 55
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   408
SWIDTH 500 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   409
DWIDTH 7 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   410
BBX 6 10 1 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   411
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   412
fc
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   413
84
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   414
08
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   415
08
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   416
10
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   417
10
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   418
20
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   419
20
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   420
40
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   421
40
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   422
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   423
STARTCHAR eight
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   424
ENCODING 56
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   425
SWIDTH 500 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   426
DWIDTH 7 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   427
BBX 5 10 1 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   428
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   429
70
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   430
d8
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   431
88
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   432
88
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   433
70
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   434
88
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   435
88
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   436
88
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   437
d8
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   438
70
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   439
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   440
STARTCHAR nine
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   441
ENCODING 57
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   442
SWIDTH 500 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   443
DWIDTH 7 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   444
BBX 6 10 0 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   445
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   446
78
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   447
cc
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   448
84
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   449
84
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   450
c4
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   451
78
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   452
18
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   453
10
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   454
60
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   455
c0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   456
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   457
STARTCHAR star
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   458
ENCODING 58
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   459
SWIDTH 250 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   460
DWIDTH 7 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   461
BBX 5 10 1 2
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   462
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   463
00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   464
00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   465
00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   466
00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   467
20
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   468
a8
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   469
f8
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   470
70
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   471
50
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   472
d8
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   473
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   474
STARTCHAR lozenge1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   475
ENCODING 59
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   476
SWIDTH 250 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   477
DWIDTH 11 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   478
BBX 11 11 0 -1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   479
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   480
0400
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   481
0e00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   482
1b00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   483
3180
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   484
60c0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   485
c060
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   486
60c0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   487
3180
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   488
1b00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   489
0e00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   490
0400
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   491
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   492
STARTCHAR braceleft2
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   493
ENCODING 60
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   494
SWIDTH 480 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   495
DWIDTH 8 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   496
BBX 6 13 1 -2
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   497
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   498
1c
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   499
30
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   500
30
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   501
30
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   502
30
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   503
64
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   504
cc
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   505
64
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   506
30
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   507
30
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   508
30
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   509
30
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   510
1c
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   511
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   512
STARTCHAR circleslash
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   513
ENCODING 61
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   514
SWIDTH 768 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   515
DWIDTH 11 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   516
BBX 9 9 1 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   517
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   518
1c00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   519
6300
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   520
4300
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   521
8480
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   522
8880
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   523
9080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   524
6100
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   525
6300
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   526
1c00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   527
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   528
STARTCHAR braceright2
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   529
ENCODING 62
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   530
SWIDTH 480 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   531
DWIDTH 8 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   532
BBX 6 13 1 -2
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   533
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   534
e0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   535
30
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   536
30
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   537
30
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   538
30
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   539
98
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   540
cc
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   541
98
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   542
30
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   543
30
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   544
30
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   545
30
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   546
e0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   547
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   548
STARTCHAR triangle1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   549
ENCODING 63
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   550
SWIDTH 713 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   551
DWIDTH 9 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   552
BBX 7 7 1 1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   553
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   554
10
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   555
38
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   556
28
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   557
44
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   558
44
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   559
82
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   560
fe
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   561
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   562
STARTCHAR smltriangleright
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   563
ENCODING 64
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   564
SWIDTH 713 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   565
DWIDTH 9 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   566
BBX 7 7 1 1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   567
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   568
c0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   569
b0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   570
8c
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   571
86
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   572
8c
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   573
b0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   574
c0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   575
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   576
STARTCHAR triangleleft
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   577
ENCODING 65
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   578
SWIDTH 713 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   579
DWIDTH 11 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   580
BBX 9 9 1 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   581
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   582
0180
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   583
0680
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   584
1c80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   585
7080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   586
c080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   587
7080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   588
1c80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   589
0680
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   590
0180
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   591
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   592
STARTCHAR triangle
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   593
ENCODING 66
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   594
SWIDTH 713 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   595
DWIDTH 11 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   596
BBX 9 11 1 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   597
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   598
0800
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   599
0800
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   600
1c00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   601
1400
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   602
3600
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   603
2200
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   604
6300
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   605
4100
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   606
c180
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   607
8080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   608
ff80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   609
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   610
STARTCHAR triangleright
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   611
ENCODING 67
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   612
SWIDTH 713 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   613
DWIDTH 11 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   614
BBX 9 9 1 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   615
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   616
c000
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   617
b000
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   618
9c00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   619
8700
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   620
8180
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   621
8700
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   622
9c00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   623
b000
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   624
c000
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   625
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   626
STARTCHAR trianglelefteq
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   627
ENCODING 68
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   628
SWIDTH 713 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   629
DWIDTH 11 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   630
BBX 9 11 1 -1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   631
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   632
0180
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   633
0680
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   634
1c80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   635
7080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   636
c080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   637
7080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   638
1c80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   639
0680
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   640
0180
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   641
0000
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   642
7f80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   643
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   644
STARTCHAR trianglerighteq
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   645
ENCODING 69
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   646
SWIDTH 713 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   647
DWIDTH 11 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   648
BBX 9 11 1 -1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   649
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   650
c000
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   651
b000
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   652
9c00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   653
8700
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   654
8180
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   655
8700
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   656
9c00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   657
b000
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   658
c000
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   659
0000
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   660
ff00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   661
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   662
STARTCHAR periodcentered2
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   663
ENCODING 70
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   664
SWIDTH 250 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   665
DWIDTH 7 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   666
BBX 5 8 1 -2
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   667
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   668
40
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   669
40
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   670
00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   671
00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   672
00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   673
00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   674
00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   675
f8
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   676
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   677
STARTCHAR dotequal
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   678
ENCODING 71
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   679
SWIDTH 549 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   680
DWIDTH 9 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   681
BBX 7 6 1 2
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   682
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   683
10
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   684
10
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   685
00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   686
fe
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   687
00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   688
fe
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   689
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   690
STARTCHAR wrong
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   691
ENCODING 72
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   692
SWIDTH 250 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   693
DWIDTH 5 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   694
BBX 3 11 1 -1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   695
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   696
00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   697
c0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   698
20
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   699
20
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   700
20
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   701
40
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   702
40
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   703
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   704
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   705
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   706
60
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   707
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   708
STARTCHAR natural
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   709
ENCODING 73
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   710
SWIDTH 250 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   711
DWIDTH 7 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   712
BBX 5 13 1 -2
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   713
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   714
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   715
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   716
98
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   717
b8
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   718
e8
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   719
c8
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   720
88
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   721
98
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   722
b8
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   723
e8
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   724
c8
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   725
08
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   726
08
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   727
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   728
STARTCHAR flat
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   729
ENCODING 74
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   730
SWIDTH 250 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   731
DWIDTH 7 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   732
BBX 5 11 1 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   733
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   734
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   735
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   736
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   737
f0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   738
98
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   739
98
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   740
98
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   741
b0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   742
b0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   743
e0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   744
c0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   745
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   746
STARTCHAR epsilon1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   747
ENCODING 75
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   748
SWIDTH 439 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   749
DWIDTH 6 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   750
BBX 5 7 1 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   751
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   752
70
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   753
c8
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   754
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   755
60
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   756
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   757
c8
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   758
70
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   759
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   760
STARTCHAR hbarmath
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   761
ENCODING 76
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   762
SWIDTH 250 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   763
DWIDTH 8 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   764
BBX 7 11 0 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   765
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   766
00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   767
40
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   768
f8
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   769
40
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   770
5c
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   771
66
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   772
42
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   773
42
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   774
42
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   775
42
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   776
42
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   777
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   778
STARTCHAR imath
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   779
ENCODING 77
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   780
SWIDTH 329 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   781
DWIDTH 5 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   782
BBX 4 7 0 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   783
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   784
70
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   785
b0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   786
30
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   787
20
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   788
60
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   789
60
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   790
70
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   791
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   792
STARTCHAR kappa1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   793
ENCODING 78
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   794
SWIDTH 329 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   795
DWIDTH 9 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   796
BBX 7 7 1 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   797
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   798
e2
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   799
a6
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   800
2c
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   801
38
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   802
68
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   803
ca
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   804
8e
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   805
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   806
STARTCHAR jmath
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   807
ENCODING 79
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   808
SWIDTH 329 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   809
DWIDTH 7 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   810
BBX 6 10 0 -3
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   811
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   812
3c
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   813
4c
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   814
0c
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   815
0c
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   816
18
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   817
18
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   818
18
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   819
98
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   820
f0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   821
60
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   822
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   823
STARTCHAR ell
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   824
ENCODING 80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   825
SWIDTH 250 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   826
DWIDTH 6 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   827
BBX 5 11 0 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   828
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   829
00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   830
30
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   831
48
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   832
48
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   833
48
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   834
48
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   835
48
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   836
50
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   837
e0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   838
48
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   839
30
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   840
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   841
STARTCHAR amalg
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   842
ENCODING 81
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   843
SWIDTH 768 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   844
DWIDTH 11 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   845
BBX 9 10 1 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   846
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   847
e380
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   848
4100
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   849
4100
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   850
4100
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   851
4100
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   852
4100
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   853
4100
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   854
4100
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   855
4100
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   856
ff80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   857
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   858
STARTCHAR rho1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   859
ENCODING 82
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   860
SWIDTH 549 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   861
DWIDTH 8 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   862
BBX 6 10 1 -3
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   863
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   864
78
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   865
cc
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   866
84
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   867
84
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   868
84
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   869
cc
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   870
b8
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   871
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   872
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   873
78
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   874
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   875
STARTCHAR top
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   876
ENCODING 83
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   877
SWIDTH 658 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   878
DWIDTH 10 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   879
BBX 9 10 0 -1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   880
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   881
ff80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   882
0800
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   883
0800
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   884
0800
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   885
0800
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   886
0800
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   887
0800
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   888
0800
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   889
0800
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   890
0800
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   891
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   892
STARTCHAR Mho
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   893
ENCODING 84
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   894
SWIDTH 768 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   895
DWIDTH 11 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   896
BBX 10 10 0 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   897
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   898
f3c0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   899
9240
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   900
2100
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   901
4080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   902
4080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   903
4080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   904
4080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   905
2100
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   906
3300
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   907
0c00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   908
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   909
STARTCHAR floorleft
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   910
ENCODING 85
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   911
SWIDTH 480 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   912
DWIDTH 7 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   913
BBX 5 13 1 -2
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   914
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   915
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   916
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   917
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   918
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   919
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   920
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   921
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   922
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   923
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   924
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   925
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   926
f8
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   927
f8
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   928
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   929
STARTCHAR floorright
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   930
ENCODING 86
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   931
SWIDTH 480 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   932
DWIDTH 7 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   933
BBX 5 13 1 -2
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   934
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   935
08
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   936
08
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   937
08
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   938
08
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   939
08
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   940
08
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   941
08
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   942
08
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   943
08
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   944
08
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   945
08
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   946
f8
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   947
f8
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   948
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   949
STARTCHAR perpendicular1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   950
ENCODING 87
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   951
SWIDTH 658 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   952
DWIDTH 9 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   953
BBX 7 7 1 1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   954
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   955
10
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   956
10
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   957
10
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   958
10
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   959
10
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   960
10
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   961
fe
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   962
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   963
STARTCHAR box
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   964
ENCODING 88
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   965
SWIDTH 250 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   966
DWIDTH 10 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   967
BBX 8 9 1 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   968
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   969
ff
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   970
81
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   971
81
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   972
81
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   973
81
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   974
81
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   975
81
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   976
81
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   977
ff
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   978
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   979
STARTCHAR asciicircum1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   980
ENCODING 89
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   981
SWIDTH 200 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   982
DWIDTH 9 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   983
BBX 7 13 1 -2
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   984
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   985
10
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   986
38
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   987
6c
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   988
c6
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   989
82
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   990
00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   991
00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   992
00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   993
00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   994
00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   995
00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   996
00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   997
7c
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   998
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
   999
STARTCHAR asciitilde1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1000
ENCODING 90
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1001
SWIDTH 200 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1002
DWIDTH 9 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1003
BBX 7 13 1 -2
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1004
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1005
60
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1006
b2
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1007
9a
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1008
0c
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1009
00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1010
00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1011
00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1012
00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1013
00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1014
00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1015
00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1016
00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1017
7c
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1018
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1019
STARTCHAR leadsto
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1020
ENCODING 91
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1021
SWIDTH 987 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1022
DWIDTH 14 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1023
BBX 12 7 1 1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1024
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1025
0080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1026
0040
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1027
4220
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1028
e7f0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1029
1820
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1030
0040
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1031
0080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1032
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1033
STARTCHAR quotedbl1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1034
ENCODING 92
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1035
SWIDTH 355 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1036
DWIDTH 5 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1037
BBX 3 3 1 8
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1038
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1039
a0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1040
a0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1041
a0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1042
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1043
STARTCHAR longarrowleft
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1044
ENCODING 93
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1045
SWIDTH 987 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1046
DWIDTH 21 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1047
BBX 19 7 1 1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1048
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1049
100000
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1050
200000
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1051
400000
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1052
ffffe0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1053
400000
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1054
200000
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1055
100000
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1056
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1057
STARTCHAR arrowupdown
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1058
ENCODING 94
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1059
SWIDTH 603 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1060
DWIDTH 9 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1061
BBX 7 12 1 -2
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1062
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1063
10
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1064
38
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1065
54
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1066
92
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1067
10
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1068
10
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1069
10
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1070
10
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1071
92
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1072
54
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1073
38
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1074
10
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1075
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1076
STARTCHAR longarrowright
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1077
ENCODING 95
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1078
SWIDTH 987 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1079
DWIDTH 21 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1080
BBX 19 7 1 1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1081
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1082
000100
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1083
000080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1084
000040
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1085
ffffe0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1086
000040
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1087
000080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1088
000100
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1089
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1090
STARTCHAR longmapsto
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1091
ENCODING 96
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1092
SWIDTH 987 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1093
DWIDTH 21 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1094
BBX 19 7 1 1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1095
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1096
000100
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1097
800080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1098
800040
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1099
ffffe0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1100
800040
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1101
800080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1102
000100
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1103
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1104
STARTCHAR longarrowdblboth
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1105
ENCODING 97
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1106
SWIDTH 987 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1107
DWIDTH 21 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1108
BBX 19 7 1 1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1109
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1110
100100
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1111
200080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1112
7fffc0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1113
c00060
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1114
7fffc0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1115
200080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1116
100100
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1117
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1118
STARTCHAR longarrowdblleft
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1119
ENCODING 98
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1120
SWIDTH 987 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1121
DWIDTH 21 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1122
BBX 19 7 1 1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1123
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1124
100000
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1125
200000
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1126
7fffe0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1127
c00000
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1128
7fffe0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1129
200000
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1130
100000
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1131
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1132
STARTCHAR arrowdblupdown
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1133
ENCODING 99
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1134
SWIDTH 603 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1135
DWIDTH 9 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1136
BBX 7 12 1 -2
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1137
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1138
10
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1139
38
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1140
6c
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1141
aa
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1142
28
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1143
28
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1144
28
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1145
28
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1146
aa
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1147
6c
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1148
38
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1149
10
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1150
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1151
STARTCHAR longarrowdblright
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1152
ENCODING 100
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1153
SWIDTH 987 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1154
DWIDTH 21 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1155
BBX 19 7 1 1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1156
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1157
000100
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1158
000080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1159
ffffc0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1160
000060
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1161
ffffc0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1162
000080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1163
000100
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1164
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1165
STARTCHAR mapsto
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1166
ENCODING 101
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1167
SWIDTH 987 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1168
DWIDTH 14 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1169
BBX 12 7 1 1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1170
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1171
0080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1172
8040
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1173
8020
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1174
fff0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1175
8020
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1176
8040
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1177
0080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1178
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1179
STARTCHAR iff
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1180
ENCODING 102
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1181
SWIDTH 987 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1182
DWIDTH 23 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1183
BBX 19 9 2 1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1184
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1185
02d800
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1186
009000
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1187
12d900
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1188
229080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1189
7a93c0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1190
c00060
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1191
7fffc0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1192
200080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1193
100100
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1194
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1195
STARTCHAR hookleftarrow
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1196
ENCODING 103
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1197
SWIDTH 494 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1198
DWIDTH 14 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1199
BBX 12 7 1 1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1200
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1201
1020
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1202
2010
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1203
4010
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1204
ffe0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1205
4000
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1206
2000
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1207
1000
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1208
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1209
STARTCHAR hookrightarrow
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1210
ENCODING 104
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1211
SWIDTH 494 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1212
DWIDTH 14 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1213
BBX 12 7 1 1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1214
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1215
4080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1216
8040
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1217
8020
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1218
7ff0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1219
0020
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1220
0040
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1221
0080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1222
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1223
STARTCHAR arrownortheast
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1224
ENCODING 105
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1225
SWIDTH 494 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1226
DWIDTH 14 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1227
BBX 12 12 1 -2
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1228
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1229
01f0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1230
0030
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1231
0050
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1232
0090
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1233
0110
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1234
0200
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1235
0400
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1236
0800
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1237
1000
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1238
2000
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1239
4000
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1240
8000
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1241
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1242
STARTCHAR arrowsoutheast
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1243
ENCODING 106
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1244
SWIDTH 494 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1245
DWIDTH 14 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1246
BBX 12 12 1 -2
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1247
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1248
8000
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1249
4000
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1250
2000
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1251
1000
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1252
0800
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1253
0400
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1254
0200
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1255
0110
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1256
0090
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1257
0050
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1258
0030
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1259
01f0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1260
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1261
STARTCHAR arrownorthwest
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1262
ENCODING 107
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1263
SWIDTH 494 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1264
DWIDTH 14 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1265
BBX 12 12 1 -2
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1266
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1267
f800
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1268
c000
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1269
a000
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1270
9000
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1271
8800
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1272
0400
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1273
0200
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1274
0100
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1275
0080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1276
0040
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1277
0020
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1278
0010
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1279
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1280
STARTCHAR arrowsouthwest
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1281
ENCODING 108
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1282
SWIDTH 494 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1283
DWIDTH 14 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1284
BBX 12 12 1 -2
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1285
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1286
0010
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1287
0020
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1288
0040
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1289
0080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1290
0100
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1291
0200
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1292
0400
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1293
8800
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1294
9000
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1295
a000
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1296
c000
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1297
f800
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1298
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1299
STARTCHAR rightleftharpoons
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1300
ENCODING 109
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1301
SWIDTH 494 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1302
DWIDTH 14 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1303
BBX 12 9 1 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1304
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1305
0080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1306
0040
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1307
0020
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1308
fff0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1309
0000
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1310
fff0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1311
4000
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1312
2000
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1313
1000
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1314
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1315
STARTCHAR leftharpoondown
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1316
ENCODING 110
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1317
SWIDTH 494 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1318
DWIDTH 14 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1319
BBX 12 4 1 2
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1320
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1321
fff0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1322
4000
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1323
2000
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1324
1000
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1325
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1326
STARTCHAR rightharpoondown
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1327
ENCODING 111
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1328
SWIDTH 494 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1329
DWIDTH 14 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1330
BBX 12 4 1 2
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1331
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1332
fff0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1333
0020
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1334
0040
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1335
0080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1336
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1337
STARTCHAR leftharpoonup
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1338
ENCODING 112
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1339
SWIDTH 494 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1340
DWIDTH 14 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1341
BBX 12 4 1 4
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1342
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1343
1000
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1344
2000
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1345
4000
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1346
fff0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1347
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1348
STARTCHAR rightharpoonup
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1349
ENCODING 113
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1350
SWIDTH 494 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1351
DWIDTH 14 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1352
BBX 12 4 1 4
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1353
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1354
0080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1355
0040
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1356
0020
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1357
fff0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1358
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1359
STARTCHAR bardbl
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1360
ENCODING 114
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1361
SWIDTH 480 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1362
DWIDTH 6 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1363
BBX 4 13 1 -2
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1364
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1365
90
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1366
90
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1367
90
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1368
90
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1369
90
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1370
90
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1371
90
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1372
90
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1373
90
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1374
90
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1375
90
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1376
90
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1377
90
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1378
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1379
STARTCHAR bardbl1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1380
ENCODING 115
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1381
SWIDTH 480 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1382
DWIDTH 5 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1383
BBX 3 8 1 1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1384
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1385
a0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1386
a0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1387
a0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1388
a0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1389
a0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1390
a0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1391
a0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1392
a0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1393
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1394
STARTCHAR backslash2
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1395
ENCODING 116
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1396
SWIDTH 250 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1397
DWIDTH 9 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1398
BBX 7 14 1 -2
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1399
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1400
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1401
c0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1402
c0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1403
60
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1404
60
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1405
30
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1406
30
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1407
18
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1408
18
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1409
0c
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1410
0c
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1411
06
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1412
06
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1413
02
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1414
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1415
STARTCHAR backslash3
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1416
ENCODING 117
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1417
SWIDTH 250 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1418
DWIDTH 7 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1419
BBX 5 8 1 1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1420
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1421
00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1422
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1423
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1424
40
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1425
20
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1426
10
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1427
08
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1428
08
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1429
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1430
STARTCHAR diagonaldots
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1431
ENCODING 118
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1432
SWIDTH 250 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1433
DWIDTH 11 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1434
BBX 9 10 1 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1435
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1436
8000
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1437
8000
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1438
0000
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1439
0000
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1440
0800
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1441
0800
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1442
0000
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1443
0000
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1444
0080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1445
0080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1446
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1447
STARTCHAR simequal
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1448
ENCODING 119
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1449
SWIDTH 549 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1450
DWIDTH 9 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1451
BBX 7 7 1 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1452
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1453
62
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1454
d2
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1455
96
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1456
8c
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1457
00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1458
00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1459
fe
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1460
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1461
STARTCHAR digamma
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1462
ENCODING 120
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1463
SWIDTH 500 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1464
DWIDTH 10 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1465
BBX 8 11 1 -2
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1466
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1467
3f
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1468
30
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1469
30
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1470
70
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1471
60
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1472
78
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1473
60
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1474
e0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1475
c0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1476
c0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1477
c0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1478
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1479
STARTCHAR asym
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1480
ENCODING 121
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1481
SWIDTH 250 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1482
DWIDTH 11 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1483
BBX 9 7 1 1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1484
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1485
8080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1486
4100
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1487
3e00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1488
0000
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1489
3e00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1490
4100
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1491
8080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1492
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1493
STARTCHAR minusplus
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1494
ENCODING 122
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1495
SWIDTH 250 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1496
DWIDTH 7 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1497
BBX 5 9 1 1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1498
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1499
00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1500
00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1501
f8
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1502
00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1503
20
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1504
20
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1505
f8
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1506
20
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1507
20
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1508
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1509
STARTCHAR less2
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1510
ENCODING 123
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1511
SWIDTH 549 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1512
DWIDTH 8 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1513
BBX 7 7 1 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1514
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1515
02
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1516
0c
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1517
30
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1518
c0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1519
30
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1520
0c
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1521
02
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1522
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1523
STARTCHAR bowtie
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1524
ENCODING 124
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1525
SWIDTH 250 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1526
DWIDTH 9 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1527
BBX 7 7 1 1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1528
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1529
82
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1530
c6
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1531
aa
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1532
92
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1533
aa
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1534
c6
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1535
82
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1536
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1537
STARTCHAR greater
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1538
ENCODING 125
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1539
SWIDTH 549 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1540
DWIDTH 8 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1541
BBX 7 7 0 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1542
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1543
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1544
60
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1545
18
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1546
06
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1547
18
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1548
60
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1549
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1550
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1551
STARTCHAR centraldots
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1552
ENCODING 126
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1553
SWIDTH 1000 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1554
DWIDTH 13 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1555
BBX 9 2 2 4
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1556
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1557
8880
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1558
8880
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1559
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1560
STARTCHAR visiblespace
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1561
ENCODING 160
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1562
SWIDTH 250 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1563
DWIDTH 8 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1564
BBX 6 3 1 -1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1565
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1566
00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1567
84
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1568
fc
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1569
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1570
STARTCHAR dagger1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1571
ENCODING 161
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1572
SWIDTH 250 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1573
DWIDTH 7 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1574
BBX 5 9 1 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1575
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1576
20
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1577
20
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1578
f8
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1579
20
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1580
20
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1581
70
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1582
70
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1583
20
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1584
20
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1585
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1586
STARTCHAR circledot
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1587
ENCODING 162
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1588
SWIDTH 768 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1589
DWIDTH 11 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1590
BBX 9 9 1 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset
  1591
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff