lib/fonts/isacr14.bdf
author wenzelm
Mon Dec 02 18:22:22 1996 +0100 (1996-12-02)
changeset 2298 df82271be07b
child 2670 009798ca267b
permissions -rw-r--r--
isabelle symbol fonts;
wenzelm@2298
     1
STARTFONT 2.1
wenzelm@2298
     2
COMMENT
wenzelm@2298
     3
COMMENT  Copyright 1984, 1987 Adobe Systems, Inc.
wenzelm@2298
     4
COMMENT  Portions Copyright 1988 Digital Equipment Corporation
wenzelm@2298
     5
COMMENT  Portions Copyright 1993 TU Muenchen, Germany
wenzelm@2298
     6
COMMENT
wenzelm@2298
     7
COMMENT  Adobe is a registered trademark of Adobe Systems, Inc.  Permission
wenzelm@2298
     8
COMMENT  to use these trademarks is hereby granted only in association with the
wenzelm@2298
     9
COMMENT  images described in this file.
wenzelm@2298
    10
COMMENT
wenzelm@2298
    11
COMMENT  Permission to use, copy, modify, and distribute this software and
wenzelm@2298
    12
COMMENT  its documentation for any purpose and without fee is hereby granted,
wenzelm@2298
    13
COMMENT  provided that the above copyright notices appear in all copies and
wenzelm@2298
    14
COMMENT  that both those copyright notices and this permission notice appear
wenzelm@2298
    15
COMMENT  in supporting documentation, and that the names of Adobe Systems,
wenzelm@2298
    16
COMMENT  Digital Equipment Corporation, and TU Muenchen not be used in
wenzelm@2298
    17
COMMENT  advertising or publicity pertaining to distribution of the software
wenzelm@2298
    18
COMMENT  without specific, written prior permission.  Adobe Systems, Digital
wenzelm@2298
    19
COMMENT  Equipment Corporation, and TU Muenchen  make no representations about
wenzelm@2298
    20
COMMENT  the suitability of this software for any purpose.  It is provided "as
wenzelm@2298
    21
COMMENT  is" without express or implied warranty.
wenzelm@2298
    22
COMMENT
wenzelm@2298
    23
COMMENT  ADOBE SYSTEMS, DIGITAL EQUIPMENT CORPORATION AND TU MUENCHEN DISCLAIM
wenzelm@2298
    24
COMMENT  ALL WARRANTIES WITH REGARD TO THIS SOFTWARE, INCLUDING ALL IMPLIED
wenzelm@2298
    25
COMMENT  WARRANTIES OF MERCHANTABILITY AND FITNESS, IN NO EVENT SHALL ADOBE
wenzelm@2298
    26
COMMENT  SYSTEMS, DIGITAL EQUIPMENT CORPORATION AND TU MUENCHEN BE LIABLE FOR 
wenzelm@2298
    27
COMMENT  ANY SPECIAL, INDIRECT OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
wenzelm@2298
    28
COMMENT  WHATSOEVE RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
wenzelm@2298
    29
COMMENT  ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT 
wenzelm@2298
    30
COMMENT  OF OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
wenzelm@2298
    31
FONT -isabelle-courier-medium-r-normal--14-140-75-75-m-90-isabelle-0
wenzelm@2298
    32
SIZE 14 75 75
wenzelm@2298
    33
FONTBOUNDINGBOX 9 14 4 -3
wenzelm@2298
    34
STARTPROPERTIES 22
wenzelm@2298
    35
FONTNAME_REGISTRY ""
wenzelm@2298
    36
FOUNDRY "Isabelle"
wenzelm@2298
    37
FAMILY_NAME "Courier"
wenzelm@2298
    38
WEIGHT_NAME "Medium"
wenzelm@2298
    39
SLANT "R"
wenzelm@2298
    40
SETWIDTH_NAME "Normal"
wenzelm@2298
    41
ADD_STYLE_NAME ""
wenzelm@2298
    42
PIXEL_SIZE 14
wenzelm@2298
    43
POINT_SIZE 140
wenzelm@2298
    44
RESOLUTION_X 75
wenzelm@2298
    45
RESOLUTION_Y 75
wenzelm@2298
    46
SPACING "M"
wenzelm@2298
    47
AVERAGE_WIDTH 90
wenzelm@2298
    48
CHARSET_REGISTRY "Isabelle"
wenzelm@2298
    49
CHARSET_ENCODING "0"
wenzelm@2298
    50
CHARSET_COLLECTIONS ""
wenzelm@2298
    51
FULL_NAME "Courier"
wenzelm@2298
    52
COPYRIGHT "Copyright (c) 1985,1987 Adobe Systems,Inc.,Portions Copyright 1988 Digital Equipment Corp., Portions Copyright 1993 TU Muenchen"
wenzelm@2298
    53
FONT_ASCENT 11
wenzelm@2298
    54
FONT_DESCENT 3
wenzelm@2298
    55
CAP_HEIGHT 9
wenzelm@2298
    56
X_HEIGHT 7
wenzelm@2298
    57
ENDPROPERTIES
wenzelm@2298
    58
CHARS 191
wenzelm@2298
    59
STARTCHAR space
wenzelm@2298
    60
ENCODING 32
wenzelm@2298
    61
SWIDTH 600 0
wenzelm@2298
    62
DWIDTH 9 0
wenzelm@2298
    63
BBX 1 1 0 0
wenzelm@2298
    64
BITMAP
wenzelm@2298
    65
00
wenzelm@2298
    66
ENDCHAR
wenzelm@2298
    67
STARTCHAR exclam
wenzelm@2298
    68
ENCODING 33
wenzelm@2298
    69
SWIDTH 600 0
wenzelm@2298
    70
DWIDTH 9 0
wenzelm@2298
    71
BBX 1 10 3 0
wenzelm@2298
    72
BITMAP
wenzelm@2298
    73
80
wenzelm@2298
    74
80
wenzelm@2298
    75
80
wenzelm@2298
    76
80
wenzelm@2298
    77
80
wenzelm@2298
    78
80
wenzelm@2298
    79
80
wenzelm@2298
    80
00
wenzelm@2298
    81
00
wenzelm@2298
    82
80
wenzelm@2298
    83
ENDCHAR
wenzelm@2298
    84
STARTCHAR quotedbl
wenzelm@2298
    85
ENCODING 34
wenzelm@2298
    86
SWIDTH 600 0
wenzelm@2298
    87
DWIDTH 9 0
wenzelm@2298
    88
BBX 4 4 2 5
wenzelm@2298
    89
BITMAP
wenzelm@2298
    90
90
wenzelm@2298
    91
90
wenzelm@2298
    92
90
wenzelm@2298
    93
90
wenzelm@2298
    94
ENDCHAR
wenzelm@2298
    95
STARTCHAR numbersign
wenzelm@2298
    96
ENCODING 35
wenzelm@2298
    97
SWIDTH 600 0
wenzelm@2298
    98
DWIDTH 9 0
wenzelm@2298
    99
BBX 5 9 2 0
wenzelm@2298
   100
BITMAP
wenzelm@2298
   101
50
wenzelm@2298
   102
50
wenzelm@2298
   103
50
wenzelm@2298
   104
f8
wenzelm@2298
   105
50
wenzelm@2298
   106
f8
wenzelm@2298
   107
50
wenzelm@2298
   108
50
wenzelm@2298
   109
50
wenzelm@2298
   110
ENDCHAR
wenzelm@2298
   111
STARTCHAR dollar
wenzelm@2298
   112
ENCODING 36
wenzelm@2298
   113
SWIDTH 600 0
wenzelm@2298
   114
DWIDTH 9 0
wenzelm@2298
   115
BBX 5 13 2 -2
wenzelm@2298
   116
BITMAP
wenzelm@2298
   117
20
wenzelm@2298
   118
20
wenzelm@2298
   119
78
wenzelm@2298
   120
88
wenzelm@2298
   121
80
wenzelm@2298
   122
c0
wenzelm@2298
   123
30
wenzelm@2298
   124
08
wenzelm@2298
   125
88
wenzelm@2298
   126
f0
wenzelm@2298
   127
20
wenzelm@2298
   128
20
wenzelm@2298
   129
20
wenzelm@2298
   130
ENDCHAR
wenzelm@2298
   131
STARTCHAR percent
wenzelm@2298
   132
ENCODING 37
wenzelm@2298
   133
SWIDTH 600 0
wenzelm@2298
   134
DWIDTH 9 0
wenzelm@2298
   135
BBX 7 10 1 0
wenzelm@2298
   136
BITMAP
wenzelm@2298
   137
60
wenzelm@2298
   138
90
wenzelm@2298
   139
90
wenzelm@2298
   140
66
wenzelm@2298
   141
18
wenzelm@2298
   142
30
wenzelm@2298
   143
cc
wenzelm@2298
   144
12
wenzelm@2298
   145
12
wenzelm@2298
   146
0c
wenzelm@2298
   147
ENDCHAR
wenzelm@2298
   148
STARTCHAR ampersand
wenzelm@2298
   149
ENCODING 38
wenzelm@2298
   150
SWIDTH 600 0
wenzelm@2298
   151
DWIDTH 9 0
wenzelm@2298
   152
BBX 6 8 1 0
wenzelm@2298
   153
BITMAP
wenzelm@2298
   154
38
wenzelm@2298
   155
48
wenzelm@2298
   156
40
wenzelm@2298
   157
40
wenzelm@2298
   158
a8
wenzelm@2298
   159
90
wenzelm@2298
   160
98
wenzelm@2298
   161
64
wenzelm@2298
   162
ENDCHAR
wenzelm@2298
   163
STARTCHAR quoteright
wenzelm@2298
   164
ENCODING 39
wenzelm@2298
   165
SWIDTH 600 0
wenzelm@2298
   166
DWIDTH 9 0
wenzelm@2298
   167
BBX 3 4 2 5
wenzelm@2298
   168
BITMAP
wenzelm@2298
   169
60
wenzelm@2298
   170
60
wenzelm@2298
   171
c0
wenzelm@2298
   172
80
wenzelm@2298
   173
ENDCHAR
wenzelm@2298
   174
STARTCHAR parenleft
wenzelm@2298
   175
ENCODING 40
wenzelm@2298
   176
SWIDTH 600 0
wenzelm@2298
   177
DWIDTH 9 0
wenzelm@2298
   178
BBX 3 12 3 -2
wenzelm@2298
   179
BITMAP
wenzelm@2298
   180
20
wenzelm@2298
   181
40
wenzelm@2298
   182
40
wenzelm@2298
   183
80
wenzelm@2298
   184
80
wenzelm@2298
   185
80
wenzelm@2298
   186
80
wenzelm@2298
   187
80
wenzelm@2298
   188
80
wenzelm@2298
   189
40
wenzelm@2298
   190
40
wenzelm@2298
   191
20
wenzelm@2298
   192
ENDCHAR
wenzelm@2298
   193
STARTCHAR parenright
wenzelm@2298
   194
ENCODING 41
wenzelm@2298
   195
SWIDTH 600 0
wenzelm@2298
   196
DWIDTH 9 0
wenzelm@2298
   197
BBX 3 12 2 -2
wenzelm@2298
   198
BITMAP
wenzelm@2298
   199
80
wenzelm@2298
   200
40
wenzelm@2298
   201
40
wenzelm@2298
   202
20
wenzelm@2298
   203
20
wenzelm@2298
   204
20
wenzelm@2298
   205
20
wenzelm@2298
   206
20
wenzelm@2298
   207
20
wenzelm@2298
   208
40
wenzelm@2298
   209
40
wenzelm@2298
   210
80
wenzelm@2298
   211
ENDCHAR
wenzelm@2298
   212
STARTCHAR asterisk
wenzelm@2298
   213
ENCODING 42
wenzelm@2298
   214
SWIDTH 600 0
wenzelm@2298
   215
DWIDTH 9 0
wenzelm@2298
   216
BBX 5 6 1 3
wenzelm@2298
   217
BITMAP
wenzelm@2298
   218
20
wenzelm@2298
   219
20
wenzelm@2298
   220
f8
wenzelm@2298
   221
20
wenzelm@2298
   222
50
wenzelm@2298
   223
88
wenzelm@2298
   224
ENDCHAR
wenzelm@2298
   225
STARTCHAR plus
wenzelm@2298
   226
ENCODING 43
wenzelm@2298
   227
SWIDTH 600 0
wenzelm@2298
   228
DWIDTH 9 0
wenzelm@2298
   229
BBX 7 7 1 1
wenzelm@2298
   230
BITMAP
wenzelm@2298
   231
10
wenzelm@2298
   232
10
wenzelm@2298
   233
10
wenzelm@2298
   234
fe
wenzelm@2298
   235
10
wenzelm@2298
   236
10
wenzelm@2298
   237
10
wenzelm@2298
   238
ENDCHAR
wenzelm@2298
   239
STARTCHAR comma
wenzelm@2298
   240
ENCODING 44
wenzelm@2298
   241
SWIDTH 600 0
wenzelm@2298
   242
DWIDTH 9 0
wenzelm@2298
   243
BBX 3 4 2 -2
wenzelm@2298
   244
BITMAP
wenzelm@2298
   245
60
wenzelm@2298
   246
60
wenzelm@2298
   247
c0
wenzelm@2298
   248
80
wenzelm@2298
   249
ENDCHAR
wenzelm@2298
   250
STARTCHAR minus
wenzelm@2298
   251
ENCODING 45
wenzelm@2298
   252
SWIDTH 600 0
wenzelm@2298
   253
DWIDTH 9 0
wenzelm@2298
   254
BBX 7 1 1 4
wenzelm@2298
   255
BITMAP
wenzelm@2298
   256
fe
wenzelm@2298
   257
ENDCHAR
wenzelm@2298
   258
STARTCHAR period
wenzelm@2298
   259
ENCODING 46
wenzelm@2298
   260
SWIDTH 600 0
wenzelm@2298
   261
DWIDTH 9 0
wenzelm@2298
   262
BBX 2 2 3 0
wenzelm@2298
   263
BITMAP
wenzelm@2298
   264
c0
wenzelm@2298
   265
c0
wenzelm@2298
   266
ENDCHAR
wenzelm@2298
   267
STARTCHAR slash
wenzelm@2298
   268
ENCODING 47
wenzelm@2298
   269
SWIDTH 600 0
wenzelm@2298
   270
DWIDTH 9 0
wenzelm@2298
   271
BBX 6 11 1 -1
wenzelm@2298
   272
BITMAP
wenzelm@2298
   273
04
wenzelm@2298
   274
08
wenzelm@2298
   275
08
wenzelm@2298
   276
10
wenzelm@2298
   277
10
wenzelm@2298
   278
20
wenzelm@2298
   279
20
wenzelm@2298
   280
40
wenzelm@2298
   281
40
wenzelm@2298
   282
80
wenzelm@2298
   283
80
wenzelm@2298
   284
ENDCHAR
wenzelm@2298
   285
STARTCHAR zero
wenzelm@2298
   286
ENCODING 48
wenzelm@2298
   287
SWIDTH 600 0
wenzelm@2298
   288
DWIDTH 9 0
wenzelm@2298
   289
BBX 6 10 1 0
wenzelm@2298
   290
BITMAP
wenzelm@2298
   291
78
wenzelm@2298
   292
84
wenzelm@2298
   293
84
wenzelm@2298
   294
84
wenzelm@2298
   295
84
wenzelm@2298
   296
84
wenzelm@2298
   297
84
wenzelm@2298
   298
84
wenzelm@2298
   299
84
wenzelm@2298
   300
78
wenzelm@2298
   301
ENDCHAR
wenzelm@2298
   302
STARTCHAR one
wenzelm@2298
   303
ENCODING 49
wenzelm@2298
   304
SWIDTH 600 0
wenzelm@2298
   305
DWIDTH 9 0
wenzelm@2298
   306
BBX 5 10 1 0
wenzelm@2298
   307
BITMAP
wenzelm@2298
   308
20
wenzelm@2298
   309
60
wenzelm@2298
   310
a0
wenzelm@2298
   311
20
wenzelm@2298
   312
20
wenzelm@2298
   313
20
wenzelm@2298
   314
20
wenzelm@2298
   315
20
wenzelm@2298
   316
20
wenzelm@2298
   317
f8
wenzelm@2298
   318
ENDCHAR
wenzelm@2298
   319
STARTCHAR two
wenzelm@2298
   320
ENCODING 50
wenzelm@2298
   321
SWIDTH 600 0
wenzelm@2298
   322
DWIDTH 9 0
wenzelm@2298
   323
BBX 6 10 1 0
wenzelm@2298
   324
BITMAP
wenzelm@2298
   325
78
wenzelm@2298
   326
84
wenzelm@2298
   327
84
wenzelm@2298
   328
04
wenzelm@2298
   329
08
wenzelm@2298
   330
10
wenzelm@2298
   331
20
wenzelm@2298
   332
40
wenzelm@2298
   333
84
wenzelm@2298
   334
fc
wenzelm@2298
   335
ENDCHAR
wenzelm@2298
   336
STARTCHAR three
wenzelm@2298
   337
ENCODING 51
wenzelm@2298
   338
SWIDTH 600 0
wenzelm@2298
   339
DWIDTH 9 0
wenzelm@2298
   340
BBX 6 10 1 0
wenzelm@2298
   341
BITMAP
wenzelm@2298
   342
78
wenzelm@2298
   343
84
wenzelm@2298
   344
04
wenzelm@2298
   345
04
wenzelm@2298
   346
38
wenzelm@2298
   347
04
wenzelm@2298
   348
04
wenzelm@2298
   349
04
wenzelm@2298
   350
84
wenzelm@2298
   351
78
wenzelm@2298
   352
ENDCHAR
wenzelm@2298
   353
STARTCHAR four
wenzelm@2298
   354
ENCODING 52
wenzelm@2298
   355
SWIDTH 600 0
wenzelm@2298
   356
DWIDTH 9 0
wenzelm@2298
   357
BBX 6 10 1 0
wenzelm@2298
   358
BITMAP
wenzelm@2298
   359
18
wenzelm@2298
   360
28
wenzelm@2298
   361
28
wenzelm@2298
   362
48
wenzelm@2298
   363
48
wenzelm@2298
   364
88
wenzelm@2298
   365
88
wenzelm@2298
   366
fc
wenzelm@2298
   367
08
wenzelm@2298
   368
1c
wenzelm@2298
   369
ENDCHAR
wenzelm@2298
   370
STARTCHAR five
wenzelm@2298
   371
ENCODING 53
wenzelm@2298
   372
SWIDTH 600 0
wenzelm@2298
   373
DWIDTH 9 0
wenzelm@2298
   374
BBX 6 10 1 0
wenzelm@2298
   375
BITMAP
wenzelm@2298
   376
7c
wenzelm@2298
   377
40
wenzelm@2298
   378
40
wenzelm@2298
   379
40
wenzelm@2298
   380
78
wenzelm@2298
   381
04
wenzelm@2298
   382
04
wenzelm@2298
   383
04
wenzelm@2298
   384
84
wenzelm@2298
   385
78
wenzelm@2298
   386
ENDCHAR
wenzelm@2298
   387
STARTCHAR six
wenzelm@2298
   388
ENCODING 54
wenzelm@2298
   389
SWIDTH 600 0
wenzelm@2298
   390
DWIDTH 9 0
wenzelm@2298
   391
BBX 6 10 1 0
wenzelm@2298
   392
BITMAP
wenzelm@2298
   393
38
wenzelm@2298
   394
40
wenzelm@2298
   395
80
wenzelm@2298
   396
80
wenzelm@2298
   397
b8
wenzelm@2298
   398
c4
wenzelm@2298
   399
84
wenzelm@2298
   400
84
wenzelm@2298
   401
44
wenzelm@2298
   402
38
wenzelm@2298
   403
ENDCHAR
wenzelm@2298
   404
STARTCHAR seven
wenzelm@2298
   405
ENCODING 55
wenzelm@2298
   406
SWIDTH 600 0
wenzelm@2298
   407
DWIDTH 9 0
wenzelm@2298
   408
BBX 6 10 1 0
wenzelm@2298
   409
BITMAP
wenzelm@2298
   410
fc
wenzelm@2298
   411
84
wenzelm@2298
   412
04
wenzelm@2298
   413
08
wenzelm@2298
   414
08
wenzelm@2298
   415
08
wenzelm@2298
   416
10
wenzelm@2298
   417
10
wenzelm@2298
   418
10
wenzelm@2298
   419
10
wenzelm@2298
   420
ENDCHAR
wenzelm@2298
   421
STARTCHAR eight
wenzelm@2298
   422
ENCODING 56
wenzelm@2298
   423
SWIDTH 600 0
wenzelm@2298
   424
DWIDTH 9 0
wenzelm@2298
   425
BBX 6 10 1 0
wenzelm@2298
   426
BITMAP
wenzelm@2298
   427
78
wenzelm@2298
   428
84
wenzelm@2298
   429
84
wenzelm@2298
   430
84
wenzelm@2298
   431
78
wenzelm@2298
   432
84
wenzelm@2298
   433
84
wenzelm@2298
   434
84
wenzelm@2298
   435
84
wenzelm@2298
   436
78
wenzelm@2298
   437
ENDCHAR
wenzelm@2298
   438
STARTCHAR nine
wenzelm@2298
   439
ENCODING 57
wenzelm@2298
   440
SWIDTH 600 0
wenzelm@2298
   441
DWIDTH 9 0
wenzelm@2298
   442
BBX 6 10 1 0
wenzelm@2298
   443
BITMAP
wenzelm@2298
   444
70
wenzelm@2298
   445
88
wenzelm@2298
   446
84
wenzelm@2298
   447
84
wenzelm@2298
   448
8c
wenzelm@2298
   449
74
wenzelm@2298
   450
04
wenzelm@2298
   451
04
wenzelm@2298
   452
08
wenzelm@2298
   453
70
wenzelm@2298
   454
ENDCHAR
wenzelm@2298
   455
STARTCHAR colon
wenzelm@2298
   456
ENCODING 58
wenzelm@2298
   457
SWIDTH 600 0
wenzelm@2298
   458
DWIDTH 9 0
wenzelm@2298
   459
BBX 2 7 3 0
wenzelm@2298
   460
BITMAP
wenzelm@2298
   461
c0
wenzelm@2298
   462
c0
wenzelm@2298
   463
00
wenzelm@2298
   464
00
wenzelm@2298
   465
00
wenzelm@2298
   466
c0
wenzelm@2298
   467
c0
wenzelm@2298
   468
ENDCHAR
wenzelm@2298
   469
STARTCHAR semicolon
wenzelm@2298
   470
ENCODING 59
wenzelm@2298
   471
SWIDTH 600 0
wenzelm@2298
   472
DWIDTH 9 0
wenzelm@2298
   473
BBX 3 9 2 -2
wenzelm@2298
   474
BITMAP
wenzelm@2298
   475
60
wenzelm@2298
   476
60
wenzelm@2298
   477
00
wenzelm@2298
   478
00
wenzelm@2298
   479
00
wenzelm@2298
   480
60
wenzelm@2298
   481
60
wenzelm@2298
   482
c0
wenzelm@2298
   483
80
wenzelm@2298
   484
ENDCHAR
wenzelm@2298
   485
STARTCHAR less
wenzelm@2298
   486
ENCODING 60
wenzelm@2298
   487
SWIDTH 600 0
wenzelm@2298
   488
DWIDTH 9 0
wenzelm@2298
   489
BBX 7 7 1 1
wenzelm@2298
   490
BITMAP
wenzelm@2298
   491
06
wenzelm@2298
   492
18
wenzelm@2298
   493
60
wenzelm@2298
   494
80
wenzelm@2298
   495
60
wenzelm@2298
   496
18
wenzelm@2298
   497
06
wenzelm@2298
   498
ENDCHAR
wenzelm@2298
   499
STARTCHAR equal
wenzelm@2298
   500
ENCODING 61
wenzelm@2298
   501
SWIDTH 600 0
wenzelm@2298
   502
DWIDTH 9 0
wenzelm@2298
   503
BBX 7 3 1 3
wenzelm@2298
   504
BITMAP
wenzelm@2298
   505
fe
wenzelm@2298
   506
00
wenzelm@2298
   507
fe
wenzelm@2298
   508
ENDCHAR
wenzelm@2298
   509
STARTCHAR greater
wenzelm@2298
   510
ENCODING 62
wenzelm@2298
   511
SWIDTH 600 0
wenzelm@2298
   512
DWIDTH 9 0
wenzelm@2298
   513
BBX 7 7 1 1
wenzelm@2298
   514
BITMAP
wenzelm@2298
   515
c0
wenzelm@2298
   516
30
wenzelm@2298
   517
0c
wenzelm@2298
   518
02
wenzelm@2298
   519
0c
wenzelm@2298
   520
30
wenzelm@2298
   521
c0
wenzelm@2298
   522
ENDCHAR
wenzelm@2298
   523
STARTCHAR question
wenzelm@2298
   524
ENCODING 63
wenzelm@2298
   525
SWIDTH 600 0
wenzelm@2298
   526
DWIDTH 9 0
wenzelm@2298
   527
BBX 5 9 1 0
wenzelm@2298
   528
BITMAP
wenzelm@2298
   529
70
wenzelm@2298
   530
88
wenzelm@2298
   531
88
wenzelm@2298
   532
08
wenzelm@2298
   533
10
wenzelm@2298
   534
20
wenzelm@2298
   535
20
wenzelm@2298
   536
00
wenzelm@2298
   537
20
wenzelm@2298
   538
ENDCHAR
wenzelm@2298
   539
STARTCHAR at
wenzelm@2298
   540
ENCODING 64
wenzelm@2298
   541
SWIDTH 600 0
wenzelm@2298
   542
DWIDTH 9 0
wenzelm@2298
   543
BBX 7 10 1 -1
wenzelm@2298
   544
BITMAP
wenzelm@2298
   545
38
wenzelm@2298
   546
44
wenzelm@2298
   547
84
wenzelm@2298
   548
9c
wenzelm@2298
   549
a4
wenzelm@2298
   550
a4
wenzelm@2298
   551
9e
wenzelm@2298
   552
80
wenzelm@2298
   553
40
wenzelm@2298
   554
38
wenzelm@2298
   555
ENDCHAR
wenzelm@2298
   556
STARTCHAR A
wenzelm@2298
   557
ENCODING 65
wenzelm@2298
   558
SWIDTH 600 0
wenzelm@2298
   559
DWIDTH 9 0
wenzelm@2298
   560
BBX 9 9 0 0
wenzelm@2298
   561
BITMAP
wenzelm@2298
   562
3800
wenzelm@2298
   563
0800
wenzelm@2298
   564
1400
wenzelm@2298
   565
1400
wenzelm@2298
   566
2200
wenzelm@2298
   567
3e00
wenzelm@2298
   568
4100
wenzelm@2298
   569
4100
wenzelm@2298
   570
f780
wenzelm@2298
   571
ENDCHAR
wenzelm@2298
   572
STARTCHAR B
wenzelm@2298
   573
ENCODING 66
wenzelm@2298
   574
SWIDTH 600 0
wenzelm@2298
   575
DWIDTH 9 0
wenzelm@2298
   576
BBX 7 9 1 0
wenzelm@2298
   577
BITMAP
wenzelm@2298
   578
fc
wenzelm@2298
   579
42
wenzelm@2298
   580
42
wenzelm@2298
   581
42
wenzelm@2298
   582
7c
wenzelm@2298
   583
42
wenzelm@2298
   584
42
wenzelm@2298
   585
42
wenzelm@2298
   586
fc
wenzelm@2298
   587
ENDCHAR
wenzelm@2298
   588
STARTCHAR C
wenzelm@2298
   589
ENCODING 67
wenzelm@2298
   590
SWIDTH 600 0
wenzelm@2298
   591
DWIDTH 9 0
wenzelm@2298
   592
BBX 7 9 1 0
wenzelm@2298
   593
BITMAP
wenzelm@2298
   594
3a
wenzelm@2298
   595
46
wenzelm@2298
   596
82
wenzelm@2298
   597
80
wenzelm@2298
   598
80
wenzelm@2298
   599
80
wenzelm@2298
   600
80
wenzelm@2298
   601
42
wenzelm@2298
   602
3c
wenzelm@2298
   603
ENDCHAR
wenzelm@2298
   604
STARTCHAR D
wenzelm@2298
   605
ENCODING 68
wenzelm@2298
   606
SWIDTH 600 0
wenzelm@2298
   607
DWIDTH 9 0
wenzelm@2298
   608
BBX 8 9 0 0
wenzelm@2298
   609
BITMAP
wenzelm@2298
   610
fc
wenzelm@2298
   611
42
wenzelm@2298
   612
41
wenzelm@2298
   613
41
wenzelm@2298
   614
41
wenzelm@2298
   615
41
wenzelm@2298
   616
41
wenzelm@2298
   617
42
wenzelm@2298
   618
fc
wenzelm@2298
   619
ENDCHAR
wenzelm@2298
   620
STARTCHAR E
wenzelm@2298
   621
ENCODING 69
wenzelm@2298
   622
SWIDTH 600 0
wenzelm@2298
   623
DWIDTH 9 0
wenzelm@2298
   624
BBX 7 9 1 0
wenzelm@2298
   625
BITMAP
wenzelm@2298
   626
fe
wenzelm@2298
   627
42
wenzelm@2298
   628
42
wenzelm@2298
   629
48
wenzelm@2298
   630
78
wenzelm@2298
   631
48
wenzelm@2298
   632
42
wenzelm@2298
   633
42
wenzelm@2298
   634
fe
wenzelm@2298
   635
ENDCHAR
wenzelm@2298
   636
STARTCHAR F
wenzelm@2298
   637
ENCODING 70
wenzelm@2298
   638
SWIDTH 600 0
wenzelm@2298
   639
DWIDTH 9 0
wenzelm@2298
   640
BBX 7 9 1 0
wenzelm@2298
   641
BITMAP
wenzelm@2298
   642
fe
wenzelm@2298
   643
42
wenzelm@2298
   644
42
wenzelm@2298
   645
48
wenzelm@2298
   646
78
wenzelm@2298
   647
48
wenzelm@2298
   648
40
wenzelm@2298
   649
40
wenzelm@2298
   650
f0
wenzelm@2298
   651
ENDCHAR
wenzelm@2298
   652
STARTCHAR G
wenzelm@2298
   653
ENCODING 71
wenzelm@2298
   654
SWIDTH 600 0
wenzelm@2298
   655
DWIDTH 9 0
wenzelm@2298
   656
BBX 8 9 0 0
wenzelm@2298
   657
BITMAP
wenzelm@2298
   658
3a
wenzelm@2298
   659
46
wenzelm@2298
   660
82
wenzelm@2298
   661
80
wenzelm@2298
   662
80
wenzelm@2298
   663
8f
wenzelm@2298
   664
82
wenzelm@2298
   665
42
wenzelm@2298
   666
3c
wenzelm@2298
   667
ENDCHAR
wenzelm@2298
   668
STARTCHAR H
wenzelm@2298
   669
ENCODING 72
wenzelm@2298
   670
SWIDTH 600 0
wenzelm@2298
   671
DWIDTH 9 0
wenzelm@2298
   672
BBX 8 9 0 0
wenzelm@2298
   673
BITMAP
wenzelm@2298
   674
e7
wenzelm@2298
   675
42
wenzelm@2298
   676
42
wenzelm@2298
   677
42
wenzelm@2298
   678
7e
wenzelm@2298
   679
42
wenzelm@2298
   680
42
wenzelm@2298
   681
42
wenzelm@2298
   682
e7
wenzelm@2298
   683
ENDCHAR
wenzelm@2298
   684
STARTCHAR I
wenzelm@2298
   685
ENCODING 73
wenzelm@2298
   686
SWIDTH 600 0
wenzelm@2298
   687
DWIDTH 9 0
wenzelm@2298
   688
BBX 5 9 2 0
wenzelm@2298
   689
BITMAP
wenzelm@2298
   690
f8
wenzelm@2298
   691
20
wenzelm@2298
   692
20
wenzelm@2298
   693
20
wenzelm@2298
   694
20
wenzelm@2298
   695
20
wenzelm@2298
   696
20
wenzelm@2298
   697
20
wenzelm@2298
   698
f8
wenzelm@2298
   699
ENDCHAR
wenzelm@2298
   700
STARTCHAR J
wenzelm@2298
   701
ENCODING 74
wenzelm@2298
   702
SWIDTH 600 0
wenzelm@2298
   703
DWIDTH 9 0
wenzelm@2298
   704
BBX 7 9 1 0
wenzelm@2298
   705
BITMAP
wenzelm@2298
   706
3e
wenzelm@2298
   707
08
wenzelm@2298
   708
08
wenzelm@2298
   709
08
wenzelm@2298
   710
08
wenzelm@2298
   711
88
wenzelm@2298
   712
88
wenzelm@2298
   713
88
wenzelm@2298
   714
70
wenzelm@2298
   715
ENDCHAR
wenzelm@2298
   716
STARTCHAR K
wenzelm@2298
   717
ENCODING 75
wenzelm@2298
   718
SWIDTH 600 0
wenzelm@2298
   719
DWIDTH 9 0
wenzelm@2298
   720
BBX 8 9 0 0
wenzelm@2298
   721
BITMAP
wenzelm@2298
   722
ee
wenzelm@2298
   723
44
wenzelm@2298
   724
48
wenzelm@2298
   725
50
wenzelm@2298
   726
70
wenzelm@2298
   727
48
wenzelm@2298
   728
44
wenzelm@2298
   729
44
wenzelm@2298
   730
e3
wenzelm@2298
   731
ENDCHAR
wenzelm@2298
   732
STARTCHAR L
wenzelm@2298
   733
ENCODING 76
wenzelm@2298
   734
SWIDTH 600 0
wenzelm@2298
   735
DWIDTH 9 0
wenzelm@2298
   736
BBX 8 9 0 0
wenzelm@2298
   737
BITMAP
wenzelm@2298
   738
f8
wenzelm@2298
   739
20
wenzelm@2298
   740
20
wenzelm@2298
   741
20
wenzelm@2298
   742
20
wenzelm@2298
   743
21
wenzelm@2298
   744
21
wenzelm@2298
   745
21
wenzelm@2298
   746
ff
wenzelm@2298
   747
ENDCHAR
wenzelm@2298
   748
STARTCHAR M
wenzelm@2298
   749
ENCODING 77
wenzelm@2298
   750
SWIDTH 600 0
wenzelm@2298
   751
DWIDTH 9 0
wenzelm@2298
   752
BBX 9 9 0 0
wenzelm@2298
   753
BITMAP
wenzelm@2298
   754
e380
wenzelm@2298
   755
6300
wenzelm@2298
   756
5700
wenzelm@2298
   757
5500
wenzelm@2298
   758
4900
wenzelm@2298
   759
4900
wenzelm@2298
   760
4100
wenzelm@2298
   761
4100
wenzelm@2298
   762
e380
wenzelm@2298
   763
ENDCHAR
wenzelm@2298
   764
STARTCHAR N
wenzelm@2298
   765
ENCODING 78
wenzelm@2298
   766
SWIDTH 600 0
wenzelm@2298
   767
DWIDTH 9 0
wenzelm@2298
   768
BBX 8 9 0 0
wenzelm@2298
   769
BITMAP
wenzelm@2298
   770
e7
wenzelm@2298
   771
62
wenzelm@2298
   772
52
wenzelm@2298
   773
52
wenzelm@2298
   774
4a
wenzelm@2298
   775
4a
wenzelm@2298
   776
46
wenzelm@2298
   777
46
wenzelm@2298
   778
e2
wenzelm@2298
   779
ENDCHAR
wenzelm@2298
   780
STARTCHAR O
wenzelm@2298
   781
ENCODING 79
wenzelm@2298
   782
SWIDTH 600 0
wenzelm@2298
   783
DWIDTH 9 0
wenzelm@2298
   784
BBX 8 9 0 0
wenzelm@2298
   785
BITMAP
wenzelm@2298
   786
3c
wenzelm@2298
   787
42
wenzelm@2298
   788
81
wenzelm@2298
   789
81
wenzelm@2298
   790
81
wenzelm@2298
   791
81
wenzelm@2298
   792
81
wenzelm@2298
   793
42
wenzelm@2298
   794
3c
wenzelm@2298
   795
ENDCHAR
wenzelm@2298
   796
STARTCHAR P
wenzelm@2298
   797
ENCODING 80
wenzelm@2298
   798
SWIDTH 600 0
wenzelm@2298
   799
DWIDTH 9 0
wenzelm@2298
   800
BBX 7 9 1 0
wenzelm@2298
   801
BITMAP
wenzelm@2298
   802
fc
wenzelm@2298
   803
42
wenzelm@2298
   804
42
wenzelm@2298
   805
42
wenzelm@2298
   806
42
wenzelm@2298
   807
7c
wenzelm@2298
   808
40
wenzelm@2298
   809
40
wenzelm@2298
   810
f0
wenzelm@2298
   811
ENDCHAR
wenzelm@2298
   812
STARTCHAR Q
wenzelm@2298
   813
ENCODING 81
wenzelm@2298
   814
SWIDTH 600 0
wenzelm@2298
   815
DWIDTH 9 0
wenzelm@2298
   816
BBX 8 11 0 -2
wenzelm@2298
   817
BITMAP
wenzelm@2298
   818
3c
wenzelm@2298
   819
42
wenzelm@2298
   820
81
wenzelm@2298
   821
81
wenzelm@2298
   822
81
wenzelm@2298
   823
81
wenzelm@2298
   824
81
wenzelm@2298
   825
42
wenzelm@2298
   826
3c
wenzelm@2298
   827
31
wenzelm@2298
   828
5e
wenzelm@2298
   829
ENDCHAR
wenzelm@2298
   830
STARTCHAR R
wenzelm@2298
   831
ENCODING 82
wenzelm@2298
   832
SWIDTH 600 0
wenzelm@2298
   833
DWIDTH 9 0
wenzelm@2298
   834
BBX 8 9 0 0
wenzelm@2298
   835
BITMAP
wenzelm@2298
   836
fc
wenzelm@2298
   837
42
wenzelm@2298
   838
42
wenzelm@2298
   839
42
wenzelm@2298
   840
44
wenzelm@2298
   841
78
wenzelm@2298
   842
44
wenzelm@2298
   843
42
wenzelm@2298
   844
e1
wenzelm@2298
   845
ENDCHAR
wenzelm@2298
   846
STARTCHAR S
wenzelm@2298
   847
ENCODING 83
wenzelm@2298
   848
SWIDTH 600 0
wenzelm@2298
   849
DWIDTH 9 0
wenzelm@2298
   850
BBX 6 9 1 0
wenzelm@2298
   851
BITMAP
wenzelm@2298
   852
74
wenzelm@2298
   853
8c
wenzelm@2298
   854
84
wenzelm@2298
   855
80
wenzelm@2298
   856
78
wenzelm@2298
   857
04
wenzelm@2298
   858
84
wenzelm@2298
   859
c4
wenzelm@2298
   860
b8
wenzelm@2298
   861
ENDCHAR
wenzelm@2298
   862
STARTCHAR T
wenzelm@2298
   863
ENCODING 84
wenzelm@2298
   864
SWIDTH 600 0
wenzelm@2298
   865
DWIDTH 9 0
wenzelm@2298
   866
BBX 7 9 1 0
wenzelm@2298
   867
BITMAP
wenzelm@2298
   868
fe
wenzelm@2298
   869
92
wenzelm@2298
   870
92
wenzelm@2298
   871
10
wenzelm@2298
   872
10
wenzelm@2298
   873
10
wenzelm@2298
   874
10
wenzelm@2298
   875
10
wenzelm@2298
   876
7c
wenzelm@2298
   877
ENDCHAR
wenzelm@2298
   878
STARTCHAR U
wenzelm@2298
   879
ENCODING 85
wenzelm@2298
   880
SWIDTH 600 0
wenzelm@2298
   881
DWIDTH 9 0
wenzelm@2298
   882
BBX 8 9 0 0
wenzelm@2298
   883
BITMAP
wenzelm@2298
   884
e7
wenzelm@2298
   885
42
wenzelm@2298
   886
42
wenzelm@2298
   887
42
wenzelm@2298
   888
42
wenzelm@2298
   889
42
wenzelm@2298
   890
42
wenzelm@2298
   891
42
wenzelm@2298
   892
3c
wenzelm@2298
   893
ENDCHAR
wenzelm@2298
   894
STARTCHAR V
wenzelm@2298
   895
ENCODING 86
wenzelm@2298
   896
SWIDTH 600 0
wenzelm@2298
   897
DWIDTH 9 0
wenzelm@2298
   898
BBX 9 9 0 0
wenzelm@2298
   899
BITMAP
wenzelm@2298
   900
e380
wenzelm@2298
   901
4100
wenzelm@2298
   902
4100
wenzelm@2298
   903
2200
wenzelm@2298
   904
2200
wenzelm@2298
   905
1400
wenzelm@2298
   906
1400
wenzelm@2298
   907
0800
wenzelm@2298
   908
0800
wenzelm@2298
   909
ENDCHAR
wenzelm@2298
   910
STARTCHAR W
wenzelm@2298
   911
ENCODING 87
wenzelm@2298
   912
SWIDTH 600 0
wenzelm@2298
   913
DWIDTH 9 0
wenzelm@2298
   914
BBX 9 9 0 0
wenzelm@2298
   915
BITMAP
wenzelm@2298
   916
e380
wenzelm@2298
   917
4100
wenzelm@2298
   918
4900
wenzelm@2298
   919
4900
wenzelm@2298
   920
5500
wenzelm@2298
   921
5500
wenzelm@2298
   922
2200
wenzelm@2298
   923
2200
wenzelm@2298
   924
2200
wenzelm@2298
   925
ENDCHAR
wenzelm@2298
   926
STARTCHAR X
wenzelm@2298
   927
ENCODING 88
wenzelm@2298
   928
SWIDTH 600 0
wenzelm@2298
   929
DWIDTH 9 0
wenzelm@2298
   930
BBX 8 9 0 0
wenzelm@2298
   931
BITMAP
wenzelm@2298
   932
e7
wenzelm@2298
   933
42
wenzelm@2298
   934
24
wenzelm@2298
   935
24
wenzelm@2298
   936
18
wenzelm@2298
   937
24
wenzelm@2298
   938
24
wenzelm@2298
   939
42
wenzelm@2298
   940
e7
wenzelm@2298
   941
ENDCHAR
wenzelm@2298
   942
STARTCHAR Y
wenzelm@2298
   943
ENCODING 89
wenzelm@2298
   944
SWIDTH 600 0
wenzelm@2298
   945
DWIDTH 9 0
wenzelm@2298
   946
BBX 7 9 1 0
wenzelm@2298
   947
BITMAP
wenzelm@2298
   948
ee
wenzelm@2298
   949
44
wenzelm@2298
   950
44
wenzelm@2298
   951
28
wenzelm@2298
   952
28
wenzelm@2298
   953
10
wenzelm@2298
   954
10
wenzelm@2298
   955
10
wenzelm@2298
   956
7c
wenzelm@2298
   957
ENDCHAR
wenzelm@2298
   958
STARTCHAR Z
wenzelm@2298
   959
ENCODING 90
wenzelm@2298
   960
SWIDTH 600 0
wenzelm@2298
   961
DWIDTH 9 0
wenzelm@2298
   962
BBX 6 9 1 0
wenzelm@2298
   963
BITMAP
wenzelm@2298
   964
fc
wenzelm@2298
   965
84
wenzelm@2298
   966
88
wenzelm@2298
   967
10
wenzelm@2298
   968
20
wenzelm@2298
   969
20
wenzelm@2298
   970
44
wenzelm@2298
   971
84
wenzelm@2298
   972
fc
wenzelm@2298
   973
ENDCHAR
wenzelm@2298
   974
STARTCHAR bracketleft
wenzelm@2298
   975
ENCODING 91
wenzelm@2298
   976
SWIDTH 600 0
wenzelm@2298
   977
DWIDTH 9 0
wenzelm@2298
   978
BBX 3 12 3 -2
wenzelm@2298
   979
BITMAP
wenzelm@2298
   980
e0
wenzelm@2298
   981
80
wenzelm@2298
   982
80
wenzelm@2298
   983
80
wenzelm@2298
   984
80
wenzelm@2298
   985
80
wenzelm@2298
   986
80
wenzelm@2298
   987
80
wenzelm@2298
   988
80
wenzelm@2298
   989
80
wenzelm@2298
   990
80
wenzelm@2298
   991
e0
wenzelm@2298
   992
ENDCHAR
wenzelm@2298
   993
STARTCHAR backslash
wenzelm@2298
   994
ENCODING 92
wenzelm@2298
   995
SWIDTH 600 0
wenzelm@2298
   996
DWIDTH 9 0
wenzelm@2298
   997
BBX 6 11 1 -1
wenzelm@2298
   998
BITMAP
wenzelm@2298
   999
80
wenzelm@2298
  1000
40
wenzelm@2298
  1001
40
wenzelm@2298
  1002
20
wenzelm@2298
  1003
20
wenzelm@2298
  1004
10
wenzelm@2298
  1005
10
wenzelm@2298
  1006
08
wenzelm@2298
  1007
08
wenzelm@2298
  1008
04
wenzelm@2298
  1009
04
wenzelm@2298
  1010
ENDCHAR
wenzelm@2298
  1011
STARTCHAR bracketright
wenzelm@2298
  1012
ENCODING 93
wenzelm@2298
  1013
SWIDTH 600 0
wenzelm@2298
  1014
DWIDTH 9 0
wenzelm@2298
  1015
BBX 3 12 2 -2
wenzelm@2298
  1016
BITMAP
wenzelm@2298
  1017
e0
wenzelm@2298
  1018
20
wenzelm@2298
  1019
20
wenzelm@2298
  1020
20
wenzelm@2298
  1021
20
wenzelm@2298
  1022
20
wenzelm@2298
  1023
20
wenzelm@2298
  1024
20
wenzelm@2298
  1025
20
wenzelm@2298
  1026
20
wenzelm@2298
  1027
20
wenzelm@2298
  1028
e0
wenzelm@2298
  1029
ENDCHAR
wenzelm@2298
  1030
STARTCHAR asciicircum
wenzelm@2298
  1031
ENCODING 94
wenzelm@2298
  1032
SWIDTH 600 0
wenzelm@2298
  1033
DWIDTH 9 0
wenzelm@2298
  1034
BBX 5 5 2 4
wenzelm@2298
  1035
BITMAP
wenzelm@2298
  1036
20
wenzelm@2298
  1037
50
wenzelm@2298
  1038
50
wenzelm@2298
  1039
88
wenzelm@2298
  1040
88
wenzelm@2298
  1041
ENDCHAR
wenzelm@2298
  1042
STARTCHAR underscore
wenzelm@2298
  1043
ENCODING 95
wenzelm@2298
  1044
SWIDTH 600 0
wenzelm@2298
  1045
DWIDTH 9 0
wenzelm@2298
  1046
BBX 9 1 0 -3
wenzelm@2298
  1047
BITMAP
wenzelm@2298
  1048
ff80
wenzelm@2298
  1049
ENDCHAR
wenzelm@2298
  1050
STARTCHAR quoteleft
wenzelm@2298
  1051
ENCODING 96
wenzelm@2298
  1052
SWIDTH 600 0
wenzelm@2298
  1053
DWIDTH 9 0
wenzelm@2298
  1054
BBX 3 4 2 5
wenzelm@2298
  1055
BITMAP
wenzelm@2298
  1056
c0
wenzelm@2298
  1057
c0
wenzelm@2298
  1058
60
wenzelm@2298
  1059
20
wenzelm@2298
  1060
ENDCHAR
wenzelm@2298
  1061
STARTCHAR a
wenzelm@2298
  1062
ENCODING 97
wenzelm@2298
  1063
SWIDTH 600 0
wenzelm@2298
  1064
DWIDTH 9 0
wenzelm@2298
  1065
BBX 7 7 1 0
wenzelm@2298
  1066
BITMAP
wenzelm@2298
  1067
78
wenzelm@2298
  1068
84
wenzelm@2298
  1069
04
wenzelm@2298
  1070
7c
wenzelm@2298
  1071
84
wenzelm@2298
  1072
8c
wenzelm@2298
  1073
76
wenzelm@2298
  1074
ENDCHAR
wenzelm@2298
  1075
STARTCHAR b
wenzelm@2298
  1076
ENCODING 98
wenzelm@2298
  1077
SWIDTH 600 0
wenzelm@2298
  1078
DWIDTH 9 0
wenzelm@2298
  1079
BBX 8 10 0 0
wenzelm@2298
  1080
BITMAP
wenzelm@2298
  1081
c0
wenzelm@2298
  1082
40
wenzelm@2298
  1083
40
wenzelm@2298
  1084
5c
wenzelm@2298
  1085
62
wenzelm@2298
  1086
41
wenzelm@2298
  1087
41
wenzelm@2298
  1088
41
wenzelm@2298
  1089
62
wenzelm@2298
  1090
dc
wenzelm@2298
  1091
ENDCHAR
wenzelm@2298
  1092
STARTCHAR c
wenzelm@2298
  1093
ENCODING 99
wenzelm@2298
  1094
SWIDTH 600 0
wenzelm@2298
  1095
DWIDTH 9 0
wenzelm@2298
  1096
BBX 7 7 1 0
wenzelm@2298
  1097
BITMAP
wenzelm@2298
  1098
3a
wenzelm@2298
  1099
46
wenzelm@2298
  1100
82
wenzelm@2298
  1101
80
wenzelm@2298
  1102
80
wenzelm@2298
  1103
42
wenzelm@2298
  1104
3c
wenzelm@2298
  1105
ENDCHAR
wenzelm@2298
  1106
STARTCHAR d
wenzelm@2298
  1107
ENCODING 100
wenzelm@2298
  1108
SWIDTH 600 0
wenzelm@2298
  1109
DWIDTH 9 0
wenzelm@2298
  1110
BBX 8 10 0 0
wenzelm@2298
  1111
BITMAP
wenzelm@2298
  1112
06
wenzelm@2298
  1113
02
wenzelm@2298
  1114
02
wenzelm@2298
  1115
3a
wenzelm@2298
  1116
46
wenzelm@2298
  1117
82
wenzelm@2298
  1118
82
wenzelm@2298
  1119
82
wenzelm@2298
  1120
46
wenzelm@2298
  1121
3b
wenzelm@2298
  1122
ENDCHAR
wenzelm@2298
  1123
STARTCHAR e
wenzelm@2298
  1124
ENCODING 101
wenzelm@2298
  1125
SWIDTH 600 0
wenzelm@2298
  1126
DWIDTH 9 0
wenzelm@2298
  1127
BBX 7 7 1 0
wenzelm@2298
  1128
BITMAP
wenzelm@2298
  1129
38
wenzelm@2298
  1130
44
wenzelm@2298
  1131
82
wenzelm@2298
  1132
fe
wenzelm@2298
  1133
80
wenzelm@2298
  1134
42
wenzelm@2298
  1135
3c
wenzelm@2298
  1136
ENDCHAR
wenzelm@2298
  1137
STARTCHAR f
wenzelm@2298
  1138
ENCODING 102
wenzelm@2298
  1139
SWIDTH 600 0
wenzelm@2298
  1140
DWIDTH 9 0
wenzelm@2298
  1141
BBX 7 10 1 0
wenzelm@2298
  1142
BITMAP
wenzelm@2298
  1143
1e
wenzelm@2298
  1144
20
wenzelm@2298
  1145
20
wenzelm@2298
  1146
fc
wenzelm@2298
  1147
20
wenzelm@2298
  1148
20
wenzelm@2298
  1149
20
wenzelm@2298
  1150
20
wenzelm@2298
  1151
20
wenzelm@2298
  1152
f8
wenzelm@2298
  1153
ENDCHAR
wenzelm@2298
  1154
STARTCHAR g
wenzelm@2298
  1155
ENCODING 103
wenzelm@2298
  1156
SWIDTH 600 0
wenzelm@2298
  1157
DWIDTH 9 0
wenzelm@2298
  1158
BBX 8 10 0 -3
wenzelm@2298
  1159
BITMAP
wenzelm@2298
  1160
3b
wenzelm@2298
  1161
46
wenzelm@2298
  1162
82
wenzelm@2298
  1163
82
wenzelm@2298
  1164
82
wenzelm@2298
  1165
46
wenzelm@2298
  1166
3a
wenzelm@2298
  1167
02
wenzelm@2298
  1168
04
wenzelm@2298
  1169
78
wenzelm@2298
  1170
ENDCHAR
wenzelm@2298
  1171
STARTCHAR h
wenzelm@2298
  1172
ENCODING 104
wenzelm@2298
  1173
SWIDTH 600 0
wenzelm@2298
  1174
DWIDTH 9 0
wenzelm@2298
  1175
BBX 8 10 0 0
wenzelm@2298
  1176
BITMAP
wenzelm@2298
  1177
c0
wenzelm@2298
  1178
40
wenzelm@2298
  1179
40
wenzelm@2298
  1180
5c
wenzelm@2298
  1181
62
wenzelm@2298
  1182
42
wenzelm@2298
  1183
42
wenzelm@2298
  1184
42
wenzelm@2298
  1185
42
wenzelm@2298
  1186
e7
wenzelm@2298
  1187
ENDCHAR
wenzelm@2298
  1188
STARTCHAR i
wenzelm@2298
  1189
ENCODING 105
wenzelm@2298
  1190
SWIDTH 600 0
wenzelm@2298
  1191
DWIDTH 9 0
wenzelm@2298
  1192
BBX 5 10 2 0
wenzelm@2298
  1193
BITMAP
wenzelm@2298
  1194
20
wenzelm@2298
  1195
20
wenzelm@2298
  1196
00
wenzelm@2298
  1197
e0
wenzelm@2298
  1198
20
wenzelm@2298
  1199
20
wenzelm@2298
  1200
20
wenzelm@2298
  1201
20
wenzelm@2298
  1202
20
wenzelm@2298
  1203
f8
wenzelm@2298
  1204
ENDCHAR
wenzelm@2298
  1205
STARTCHAR j
wenzelm@2298
  1206
ENCODING 106
wenzelm@2298
  1207
SWIDTH 600 0
wenzelm@2298
  1208
DWIDTH 9 0
wenzelm@2298
  1209
BBX 5 13 1 -3
wenzelm@2298
  1210
BITMAP
wenzelm@2298
  1211
10
wenzelm@2298
  1212
10
wenzelm@2298
  1213
00
wenzelm@2298
  1214
f8
wenzelm@2298
  1215
08
wenzelm@2298
  1216
08
wenzelm@2298
  1217
08
wenzelm@2298
  1218
08
wenzelm@2298
  1219
08
wenzelm@2298
  1220
08
wenzelm@2298
  1221
08
wenzelm@2298
  1222
10
wenzelm@2298
  1223
e0
wenzelm@2298
  1224
ENDCHAR
wenzelm@2298
  1225
STARTCHAR k
wenzelm@2298
  1226
ENCODING 107
wenzelm@2298
  1227
SWIDTH 600 0
wenzelm@2298
  1228
DWIDTH 9 0
wenzelm@2298
  1229
BBX 7 9 1 0
wenzelm@2298
  1230
BITMAP
wenzelm@2298
  1231
c0
wenzelm@2298
  1232
40
wenzelm@2298
  1233
4e
wenzelm@2298
  1234
48
wenzelm@2298
  1235
50
wenzelm@2298
  1236
60
wenzelm@2298
  1237
50
wenzelm@2298
  1238
48
wenzelm@2298
  1239
ce
wenzelm@2298
  1240
ENDCHAR
wenzelm@2298
  1241
STARTCHAR l
wenzelm@2298
  1242
ENCODING 108
wenzelm@2298
  1243
SWIDTH 600 0
wenzelm@2298
  1244
DWIDTH 9 0
wenzelm@2298
  1245
BBX 5 9 2 0
wenzelm@2298
  1246
BITMAP
wenzelm@2298
  1247
e0
wenzelm@2298
  1248
20
wenzelm@2298
  1249
20
wenzelm@2298
  1250
20
wenzelm@2298
  1251
20
wenzelm@2298
  1252
20
wenzelm@2298
  1253
20
wenzelm@2298
  1254
20
wenzelm@2298
  1255
f8
wenzelm@2298
  1256
ENDCHAR
wenzelm@2298
  1257
STARTCHAR m
wenzelm@2298
  1258
ENCODING 109
wenzelm@2298
  1259
SWIDTH 600 0
wenzelm@2298
  1260
DWIDTH 9 0
wenzelm@2298
  1261
BBX 9 7 0 0
wenzelm@2298
  1262
BITMAP
wenzelm@2298
  1263
db00
wenzelm@2298
  1264
6d00
wenzelm@2298
  1265
4900
wenzelm@2298
  1266
4900
wenzelm@2298
  1267
4900
wenzelm@2298
  1268
4900
wenzelm@2298
  1269
ed80
wenzelm@2298
  1270
ENDCHAR
wenzelm@2298
  1271
STARTCHAR n
wenzelm@2298
  1272
ENCODING 110
wenzelm@2298
  1273
SWIDTH 600 0
wenzelm@2298
  1274
DWIDTH 9 0
wenzelm@2298
  1275
BBX 8 7 0 0
wenzelm@2298
  1276
BITMAP
wenzelm@2298
  1277
dc
wenzelm@2298
  1278
62
wenzelm@2298
  1279
42
wenzelm@2298
  1280
42
wenzelm@2298
  1281
42
wenzelm@2298
  1282
42
wenzelm@2298
  1283
e7
wenzelm@2298
  1284
ENDCHAR
wenzelm@2298
  1285
STARTCHAR o
wenzelm@2298
  1286
ENCODING 111
wenzelm@2298
  1287
SWIDTH 600 0
wenzelm@2298
  1288
DWIDTH 9 0
wenzelm@2298
  1289
BBX 8 7 0 0
wenzelm@2298
  1290
BITMAP
wenzelm@2298
  1291
3c
wenzelm@2298
  1292
42
wenzelm@2298
  1293
81
wenzelm@2298
  1294
81
wenzelm@2298
  1295
81
wenzelm@2298
  1296
42
wenzelm@2298
  1297
3c
wenzelm@2298
  1298
ENDCHAR
wenzelm@2298
  1299
STARTCHAR p
wenzelm@2298
  1300
ENCODING 112
wenzelm@2298
  1301
SWIDTH 600 0
wenzelm@2298
  1302
DWIDTH 9 0
wenzelm@2298
  1303
BBX 8 10 0 -3
wenzelm@2298
  1304
BITMAP
wenzelm@2298
  1305
dc
wenzelm@2298
  1306
62
wenzelm@2298
  1307
41
wenzelm@2298
  1308
41
wenzelm@2298
  1309
41
wenzelm@2298
  1310
62
wenzelm@2298
  1311
5c
wenzelm@2298
  1312
40
wenzelm@2298
  1313
40
wenzelm@2298
  1314
f0
wenzelm@2298
  1315
ENDCHAR
wenzelm@2298
  1316
STARTCHAR q
wenzelm@2298
  1317
ENCODING 113
wenzelm@2298
  1318
SWIDTH 600 0
wenzelm@2298
  1319
DWIDTH 9 0
wenzelm@2298
  1320
BBX 8 10 0 -3
wenzelm@2298
  1321
BITMAP
wenzelm@2298
  1322
3b
wenzelm@2298
  1323
46
wenzelm@2298
  1324
82
wenzelm@2298
  1325
82
wenzelm@2298
  1326
82
wenzelm@2298
  1327
46
wenzelm@2298
  1328
3a
wenzelm@2298
  1329
02
wenzelm@2298
  1330
02
wenzelm@2298
  1331
0f
wenzelm@2298
  1332
ENDCHAR
wenzelm@2298
  1333
STARTCHAR r
wenzelm@2298
  1334
ENCODING 114
wenzelm@2298
  1335
SWIDTH 600 0
wenzelm@2298
  1336
DWIDTH 9 0
wenzelm@2298
  1337
BBX 7 7 1 0
wenzelm@2298
  1338
BITMAP
wenzelm@2298
  1339
cc
wenzelm@2298
  1340
52
wenzelm@2298
  1341
60
wenzelm@2298
  1342
40
wenzelm@2298
  1343
40
wenzelm@2298
  1344
40
wenzelm@2298
  1345
f0
wenzelm@2298
  1346
ENDCHAR
wenzelm@2298
  1347
STARTCHAR s
wenzelm@2298
  1348
ENCODING 115
wenzelm@2298
  1349
SWIDTH 600 0
wenzelm@2298
  1350
DWIDTH 9 0
wenzelm@2298
  1351
BBX 6 7 1 0
wenzelm@2298
  1352
BITMAP
wenzelm@2298
  1353
7c
wenzelm@2298
  1354
84
wenzelm@2298
  1355
80
wenzelm@2298
  1356
78
wenzelm@2298
  1357
04
wenzelm@2298
  1358
84
wenzelm@2298
  1359
f8
wenzelm@2298
  1360
ENDCHAR
wenzelm@2298
  1361
STARTCHAR t
wenzelm@2298
  1362
ENCODING 116
wenzelm@2298
  1363
SWIDTH 600 0
wenzelm@2298
  1364
DWIDTH 9 0
wenzelm@2298
  1365
BBX 6 9 1 0
wenzelm@2298
  1366
BITMAP
wenzelm@2298
  1367
40
wenzelm@2298
  1368
40
wenzelm@2298
  1369
f8
wenzelm@2298
  1370
40
wenzelm@2298
  1371
40
wenzelm@2298
  1372
40
wenzelm@2298
  1373
40
wenzelm@2298
  1374
44
wenzelm@2298
  1375
38
wenzelm@2298
  1376
ENDCHAR
wenzelm@2298
  1377
STARTCHAR u
wenzelm@2298
  1378
ENCODING 117
wenzelm@2298
  1379
SWIDTH 600 0
wenzelm@2298
  1380
DWIDTH 9 0
wenzelm@2298
  1381
BBX 8 7 0 0
wenzelm@2298
  1382
BITMAP
wenzelm@2298
  1383
c6
wenzelm@2298
  1384
42
wenzelm@2298
  1385
42
wenzelm@2298
  1386
42
wenzelm@2298
  1387
42
wenzelm@2298
  1388
46
wenzelm@2298
  1389
3b
wenzelm@2298
  1390
ENDCHAR
wenzelm@2298
  1391
STARTCHAR v
wenzelm@2298
  1392
ENCODING 118
wenzelm@2298
  1393
SWIDTH 600 0
wenzelm@2298
  1394
DWIDTH 9 0
wenzelm@2298
  1395
BBX 8 7 0 0
wenzelm@2298
  1396
BITMAP
wenzelm@2298
  1397
e7
wenzelm@2298
  1398
42
wenzelm@2298
  1399
42
wenzelm@2298
  1400
24
wenzelm@2298
  1401
24
wenzelm@2298
  1402
18
wenzelm@2298
  1403
18
wenzelm@2298
  1404
ENDCHAR
wenzelm@2298
  1405
STARTCHAR w
wenzelm@2298
  1406
ENCODING 119
wenzelm@2298
  1407
SWIDTH 600 0
wenzelm@2298
  1408
DWIDTH 9 0
wenzelm@2298
  1409
BBX 9 7 0 0
wenzelm@2298
  1410
BITMAP
wenzelm@2298
  1411
e380
wenzelm@2298
  1412
4100
wenzelm@2298
  1413
4900
wenzelm@2298
  1414
4900
wenzelm@2298
  1415
2a00
wenzelm@2298
  1416
3600
wenzelm@2298
  1417
3600
wenzelm@2298
  1418
ENDCHAR
wenzelm@2298
  1419
STARTCHAR x
wenzelm@2298
  1420
ENCODING 120
wenzelm@2298
  1421
SWIDTH 600 0
wenzelm@2298
  1422
DWIDTH 9 0
wenzelm@2298
  1423
BBX 7 7 1 0
wenzelm@2298
  1424
BITMAP
wenzelm@2298
  1425
ee
wenzelm@2298
  1426
44
wenzelm@2298
  1427
28
wenzelm@2298
  1428
10
wenzelm@2298
  1429
28
wenzelm@2298
  1430
44
wenzelm@2298
  1431
ee
wenzelm@2298
  1432
ENDCHAR
wenzelm@2298
  1433
STARTCHAR y
wenzelm@2298
  1434
ENCODING 121
wenzelm@2298
  1435
SWIDTH 600 0
wenzelm@2298
  1436
DWIDTH 9 0
wenzelm@2298
  1437
BBX 8 10 0 -3
wenzelm@2298
  1438
BITMAP
wenzelm@2298
  1439
e7
wenzelm@2298
  1440
42
wenzelm@2298
  1441
42
wenzelm@2298
  1442
24
wenzelm@2298
  1443
24
wenzelm@2298
  1444
18
wenzelm@2298
  1445
08
wenzelm@2298
  1446
10
wenzelm@2298
  1447
10
wenzelm@2298
  1448
78
wenzelm@2298
  1449
ENDCHAR
wenzelm@2298
  1450
STARTCHAR z
wenzelm@2298
  1451
ENCODING 122
wenzelm@2298
  1452
SWIDTH 600 0
wenzelm@2298
  1453
DWIDTH 9 0
wenzelm@2298
  1454
BBX 5 7 1 0
wenzelm@2298
  1455
BITMAP
wenzelm@2298
  1456
f8
wenzelm@2298
  1457
88
wenzelm@2298
  1458
10
wenzelm@2298
  1459
20
wenzelm@2298
  1460
40
wenzelm@2298
  1461
88
wenzelm@2298
  1462
f8
wenzelm@2298
  1463
ENDCHAR
wenzelm@2298
  1464
STARTCHAR braceleft
wenzelm@2298
  1465
ENCODING 123
wenzelm@2298
  1466
SWIDTH 600 0
wenzelm@2298
  1467
DWIDTH 9 0
wenzelm@2298
  1468
BBX 3 12 3 -2
wenzelm@2298
  1469
BITMAP
wenzelm@2298
  1470
20
wenzelm@2298
  1471
40
wenzelm@2298
  1472
40
wenzelm@2298
  1473
40
wenzelm@2298
  1474
40
wenzelm@2298
  1475
80
wenzelm@2298
  1476
40
wenzelm@2298
  1477
40
wenzelm@2298
  1478
40
wenzelm@2298
  1479
40
wenzelm@2298
  1480
40
wenzelm@2298
  1481
20
wenzelm@2298
  1482
ENDCHAR
wenzelm@2298
  1483
STARTCHAR bar
wenzelm@2298
  1484
ENCODING 124
wenzelm@2298
  1485
SWIDTH 600 0
wenzelm@2298
  1486
DWIDTH 9 0
wenzelm@2298
  1487
BBX 1 11 4 -2
wenzelm@2298
  1488
BITMAP
wenzelm@2298
  1489
80
wenzelm@2298
  1490
80
wenzelm@2298
  1491
80
wenzelm@2298
  1492
80
wenzelm@2298
  1493
80
wenzelm@2298
  1494
80
wenzelm@2298
  1495
80
wenzelm@2298
  1496
80
wenzelm@2298
  1497
80
wenzelm@2298
  1498
80
wenzelm@2298
  1499
80
wenzelm@2298
  1500
ENDCHAR
wenzelm@2298
  1501
STARTCHAR braceright
wenzelm@2298
  1502
ENCODING 125
wenzelm@2298
  1503
SWIDTH 600 0
wenzelm@2298
  1504
DWIDTH 9 0
wenzelm@2298
  1505
BBX 3 12 2 -2
wenzelm@2298
  1506
BITMAP
wenzelm@2298
  1507
80
wenzelm@2298
  1508
40
wenzelm@2298
  1509
40
wenzelm@2298
  1510
40
wenzelm@2298
  1511
40
wenzelm@2298
  1512
20
wenzelm@2298
  1513
40
wenzelm@2298
  1514
40
wenzelm@2298
  1515
40
wenzelm@2298
  1516
40
wenzelm@2298
  1517
40
wenzelm@2298
  1518
80
wenzelm@2298
  1519
ENDCHAR
wenzelm@2298
  1520
STARTCHAR asciitilde
wenzelm@2298
  1521
ENCODING 126
wenzelm@2298
  1522
SWIDTH 600 0
wenzelm@2298
  1523
DWIDTH 9 0
wenzelm@2298
  1524
BBX 6 2 1 3
wenzelm@2298
  1525
BITMAP
wenzelm@2298
  1526
64
wenzelm@2298
  1527
98
wenzelm@2298
  1528
ENDCHAR
wenzelm@2298
  1529
STARTCHAR space
wenzelm@2298
  1530
ENCODING 160
wenzelm@2298
  1531
SWIDTH 600 0
wenzelm@2298
  1532
DWIDTH 9 0
wenzelm@2298
  1533
BBX 1 1 0 0
wenzelm@2298
  1534
BITMAP
wenzelm@2298
  1535
00
wenzelm@2298
  1536
ENDCHAR
wenzelm@2298
  1537
STARTCHAR Gamma
wenzelm@2298
  1538
ENCODING 161
wenzelm@2298
  1539
SWIDTH 216 0
wenzelm@2298
  1540
DWIDTH 9 0
wenzelm@2298
  1541
BBX 7 9 1 0
wenzelm@2298
  1542
BITMAP
wenzelm@2298
  1543
fe
wenzelm@2298
  1544
42
wenzelm@2298
  1545
42
wenzelm@2298
  1546
40
wenzelm@2298
  1547
40
wenzelm@2298
  1548
40
wenzelm@2298
  1549
40
wenzelm@2298
  1550
40
wenzelm@2298
  1551
f0
wenzelm@2298
  1552
ENDCHAR
wenzelm@2298
  1553
STARTCHAR Delta
wenzelm@2298
  1554
ENCODING 162
wenzelm@2298
  1555
SWIDTH 288 0
wenzelm@2298
  1556
DWIDTH 9 0
wenzelm@2298
  1557
BBX 7 8 1 0
wenzelm@2298
  1558
BITMAP
wenzelm@2298
  1559
10
wenzelm@2298
  1560
10
wenzelm@2298
  1561
28
wenzelm@2298
  1562
28
wenzelm@2298
  1563
44
wenzelm@2298
  1564
44
wenzelm@2298
  1565
82
wenzelm@2298
  1566
fe
wenzelm@2298
  1567
ENDCHAR
wenzelm@2298
  1568
STARTCHAR Theta
wenzelm@2298
  1569
ENCODING 163
wenzelm@2298
  1570
SWIDTH 264 0
wenzelm@2298
  1571
DWIDTH 9 0
wenzelm@2298
  1572
BBX 7 9 1 0
wenzelm@2298
  1573
BITMAP
wenzelm@2298
  1574
38
wenzelm@2298
  1575
44
wenzelm@2298
  1576
82
wenzelm@2298
  1577
82
wenzelm@2298
  1578
fe
wenzelm@2298
  1579
82
wenzelm@2298
  1580
82
wenzelm@2298
  1581
44
wenzelm@2298
  1582
38
wenzelm@2298
  1583
ENDCHAR
wenzelm@2298
  1584
STARTCHAR Lambda
wenzelm@2298
  1585
ENCODING 164
wenzelm@2298
  1586
SWIDTH 600 0
wenzelm@2298
  1587
DWIDTH 9 0
wenzelm@2298
  1588
BBX 9 10 0 0
wenzelm@2298
  1589
BITMAP
wenzelm@2298
  1590
0800
wenzelm@2298
  1591
0800
wenzelm@2298
  1592
1C00
wenzelm@2298
  1593
3600
wenzelm@2298
  1594
3600
wenzelm@2298
  1595
6300
wenzelm@2298
  1596
6300
wenzelm@2298
  1597
C180
wenzelm@2298
  1598
C180
wenzelm@2298
  1599
E380
wenzelm@2298
  1600
ENDCHAR
wenzelm@2298
  1601
STARTCHAR Pi
wenzelm@2298
  1602
ENCODING 165
wenzelm@2298
  1603
SWIDTH 264 0
wenzelm@2298
  1604
DWIDTH 9 0
wenzelm@2298
  1605
BBX 7 8 1 0
wenzelm@2298
  1606
BITMAP
wenzelm@2298
  1607
fe
wenzelm@2298
  1608
44
wenzelm@2298
  1609
44
wenzelm@2298
  1610
44
wenzelm@2298
  1611
44
wenzelm@2298
  1612
44
wenzelm@2298
  1613
44
wenzelm@2298
  1614
ee
wenzelm@2298
  1615
ENDCHAR
wenzelm@2298
  1616
STARTCHAR Sigma
wenzelm@2298
  1617
ENCODING 166
wenzelm@2298
  1618
SWIDTH 240 0
wenzelm@2298
  1619
DWIDTH 9 0
wenzelm@2298
  1620
BBX 7 9 1 0
wenzelm@2298
  1621
BITMAP
wenzelm@2298
  1622
fe
wenzelm@2298
  1623
82
wenzelm@2298
  1624
40
wenzelm@2298
  1625
20
wenzelm@2298
  1626
10
wenzelm@2298
  1627
20
wenzelm@2298
  1628
40
wenzelm@2298
  1629
82
wenzelm@2298
  1630
fe
wenzelm@2298
  1631
ENDCHAR
wenzelm@2298
  1632
STARTCHAR Phi
wenzelm@2298
  1633
ENCODING 167
wenzelm@2298
  1634
SWIDTH 240 0
wenzelm@2298
  1635
DWIDTH 9 0
wenzelm@2298
  1636
BBX 5 9 2 0
wenzelm@2298
  1637
BITMAP
wenzelm@2298
  1638
70
wenzelm@2298
  1639
20
wenzelm@2298
  1640
70
wenzelm@2298
  1641
a8
wenzelm@2298
  1642
a8
wenzelm@2298
  1643
a8
wenzelm@2298
  1644
70
wenzelm@2298
  1645
20
wenzelm@2298
  1646
70
wenzelm@2298
  1647
ENDCHAR
wenzelm@2298
  1648
STARTCHAR Psi
wenzelm@2298
  1649
ENCODING 168
wenzelm@2298
  1650
SWIDTH 264 0
wenzelm@2298
  1651
DWIDTH 9 0
wenzelm@2298
  1652
BBX 7 9 1 0
wenzelm@2298
  1653
BITMAP
wenzelm@2298
  1654
38
wenzelm@2298
  1655
10
wenzelm@2298
  1656
92
wenzelm@2298
  1657
54
wenzelm@2298
  1658
54
wenzelm@2298
  1659
54
wenzelm@2298
  1660
38
wenzelm@2298
  1661
10
wenzelm@2298
  1662
38
wenzelm@2298
  1663
ENDCHAR
wenzelm@2298
  1664
STARTCHAR Omega
wenzelm@2298
  1665
ENCODING 169
wenzelm@2298
  1666
SWIDTH 240 0
wenzelm@2298
  1667
DWIDTH 9 0
wenzelm@2298
  1668
BBX 7 9 1 0
wenzelm@2298
  1669
BITMAP
wenzelm@2298
  1670
38
wenzelm@2298
  1671
44
wenzelm@2298
  1672
82
wenzelm@2298
  1673
82
wenzelm@2298
  1674
82
wenzelm@2298
  1675
44
wenzelm@2298
  1676
28
wenzelm@2298
  1677
aa
wenzelm@2298
  1678
ee
wenzelm@2298
  1679
ENDCHAR
wenzelm@2298
  1680
STARTCHAR alpha
wenzelm@2298
  1681
ENCODING 170
wenzelm@2298
  1682
SWIDTH 216 0
wenzelm@2298
  1683
DWIDTH 9 0
wenzelm@2298
  1684
BBX 8 6 0 0
wenzelm@2298
  1685
BITMAP
wenzelm@2298
  1686
39
wenzelm@2298
  1687
49
wenzelm@2298
  1688
8e
wenzelm@2298
  1689
8c
wenzelm@2298
  1690
8c
wenzelm@2298
  1691
76
wenzelm@2298
  1692
ENDCHAR
wenzelm@2298
  1693
STARTCHAR beta
wenzelm@2298
  1694
ENCODING 171
wenzelm@2298
  1695
SWIDTH 192 0
wenzelm@2298
  1696
DWIDTH 9 0
wenzelm@2298
  1697
BBX 7 11 1 -3
wenzelm@2298
  1698
BITMAP
wenzelm@2298
  1699
1c
wenzelm@2298
  1700
22
wenzelm@2298
  1701
22
wenzelm@2298
  1702
4c
wenzelm@2298
  1703
42
wenzelm@2298
  1704
42
wenzelm@2298
  1705
44
wenzelm@2298
  1706
98
wenzelm@2298
  1707
80
wenzelm@2298
  1708
80
wenzelm@2298
  1709
00
wenzelm@2298
  1710
ENDCHAR
wenzelm@2298
  1711
STARTCHAR gamma
wenzelm@2298
  1712
ENCODING 172
wenzelm@2298
  1713
SWIDTH 168 0
wenzelm@2298
  1714
DWIDTH 9 0
wenzelm@2298
  1715
BBX 7 9 1 -3
wenzelm@2298
  1716
BITMAP
wenzelm@2298
  1717
62
wenzelm@2298
  1718
94
wenzelm@2298
  1719
08
wenzelm@2298
  1720
08
wenzelm@2298
  1721
18
wenzelm@2298
  1722
18
wenzelm@2298
  1723
28
wenzelm@2298
  1724
28
wenzelm@2298
  1725
10
wenzelm@2298
  1726
ENDCHAR
wenzelm@2298
  1727
STARTCHAR delta
wenzelm@2298
  1728
ENCODING 173
wenzelm@2298
  1729
SWIDTH 144 0
wenzelm@2298
  1730
DWIDTH 9 0
wenzelm@2298
  1731
BBX 5 10 2 0
wenzelm@2298
  1732
BITMAP
wenzelm@2298
  1733
38
wenzelm@2298
  1734
60
wenzelm@2298
  1735
40
wenzelm@2298
  1736
30
wenzelm@2298
  1737
78
wenzelm@2298
  1738
c8
wenzelm@2298
  1739
88
wenzelm@2298
  1740
90
wenzelm@2298
  1741
90
wenzelm@2298
  1742
60
wenzelm@2298
  1743
ENDCHAR
wenzelm@2298
  1744
wenzelm@2298
  1745
STARTCHAR epsilon
wenzelm@2298
  1746
ENCODING 174
wenzelm@2298
  1747
SWIDTH 144 0
wenzelm@2298
  1748
DWIDTH 9 0
wenzelm@2298
  1749
BBX 5 8 2 0
wenzelm@2298
  1750
BITMAP
wenzelm@2298
  1751
30
wenzelm@2298
  1752
48
wenzelm@2298
  1753
80
wenzelm@2298
  1754
60
wenzelm@2298
  1755
40
wenzelm@2298
  1756
80
wenzelm@2298
  1757
88
wenzelm@2298
  1758
70
wenzelm@2298
  1759
ENDCHAR
wenzelm@2298
  1760
STARTCHAR zeta
wenzelm@2298
  1761
ENCODING 175
wenzelm@2298
  1762
SWIDTH 144 0
wenzelm@2298
  1763
DWIDTH 9 0
wenzelm@2298
  1764
BBX 6 13 1 -3
wenzelm@2298
  1765
BITMAP
wenzelm@2298
  1766
10
wenzelm@2298
  1767
1c
wenzelm@2298
  1768
20
wenzelm@2298
  1769
40
wenzelm@2298
  1770
40
wenzelm@2298
  1771
80
wenzelm@2298
  1772
80
wenzelm@2298
  1773
80
wenzelm@2298
  1774
c0
wenzelm@2298
  1775
70
wenzelm@2298
  1776
18
wenzelm@2298
  1777
18
wenzelm@2298
  1778
00
wenzelm@2298
  1779
ENDCHAR
wenzelm@2298
  1780
STARTCHAR eta
wenzelm@2298
  1781
ENCODING 176
wenzelm@2298
  1782
SWIDTH 168 0
wenzelm@2298
  1783
DWIDTH 9 0
wenzelm@2298
  1784
BBX 6 9 1 -3
wenzelm@2298
  1785
BITMAP
wenzelm@2298
  1786
dc
wenzelm@2298
  1787
64
wenzelm@2298
  1788
44
wenzelm@2298
  1789
44
wenzelm@2298
  1790
88
wenzelm@2298
  1791
88
wenzelm@2298
  1792
08
wenzelm@2298
  1793
10
wenzelm@2298
  1794
10
wenzelm@2298
  1795
ENDCHAR
wenzelm@2298
  1796
STARTCHAR theta
wenzelm@2298
  1797
ENCODING 177
wenzelm@2298
  1798
SWIDTH 216 0
wenzelm@2298
  1799
DWIDTH 9 0
wenzelm@2298
  1800
BBX 7 10 1 0
wenzelm@2298
  1801
BITMAP
wenzelm@2298
  1802
0c
wenzelm@2298
  1803
12
wenzelm@2298
  1804
12
wenzelm@2298
  1805
12
wenzelm@2298
  1806
ce
wenzelm@2298
  1807
24
wenzelm@2298
  1808
24
wenzelm@2298
  1809
48
wenzelm@2298
  1810
48
wenzelm@2298
  1811
70
wenzelm@2298
  1812
ENDCHAR
wenzelm@2298
  1813
STARTCHAR kappa
wenzelm@2298
  1814
ENCODING 178
wenzelm@2298
  1815
SWIDTH 192 0
wenzelm@2298
  1816
DWIDTH 9 0
wenzelm@2298
  1817
BBX 7 6 1 0
wenzelm@2298
  1818
BITMAP
wenzelm@2298
  1819
ce
wenzelm@2298
  1820
50
wenzelm@2298
  1821
70
wenzelm@2298
  1822
50
wenzelm@2298
  1823
52
wenzelm@2298
  1824
8c
wenzelm@2298
  1825
ENDCHAR
wenzelm@2298
  1826
STARTCHAR lambda
wenzelm@2298
  1827
ENCODING 179
wenzelm@2298
  1828
SWIDTH 192 0
wenzelm@2298
  1829
DWIDTH 9 0
wenzelm@2298
  1830
BBX 8 10 0 0
wenzelm@2298
  1831
BITMAP
wenzelm@2298
  1832
60
wenzelm@2298
  1833
30
wenzelm@2298
  1834
30
wenzelm@2298
  1835
18
wenzelm@2298
  1836
18
wenzelm@2298
  1837
2c
wenzelm@2298
  1838
2c
wenzelm@2298
  1839
46
wenzelm@2298
  1840
46
wenzelm@2298
  1841
83
wenzelm@2298
  1842
ENDCHAR
wenzelm@2298
  1843
STARTCHAR mu
wenzelm@2298
  1844
ENCODING 180
wenzelm@2298
  1845
SWIDTH 216 0
wenzelm@2298
  1846
DWIDTH 9 0
wenzelm@2298
  1847
BBX 7 9 1 -3
wenzelm@2298
  1848
BITMAP
wenzelm@2298
  1849
22
wenzelm@2298
  1850
22
wenzelm@2298
  1851
44
wenzelm@2298
  1852
44
wenzelm@2298
  1853
44
wenzelm@2298
  1854
7e
wenzelm@2298
  1855
40
wenzelm@2298
  1856
80
wenzelm@2298
  1857
80
wenzelm@2298
  1858
ENDCHAR
wenzelm@2298
  1859
STARTCHAR nu
wenzelm@2298
  1860
ENCODING 181
wenzelm@2298
  1861
SWIDTH 168 0
wenzelm@2298
  1862
DWIDTH 9 0
wenzelm@2298
  1863
BBX 6 6 1 0
wenzelm@2298
  1864
BITMAP
wenzelm@2298
  1865
64
wenzelm@2298
  1866
24
wenzelm@2298
  1867
28
wenzelm@2298
  1868
48
wenzelm@2298
  1869
50
wenzelm@2298
  1870
e0
wenzelm@2298
  1871
ENDCHAR
wenzelm@2298
  1872
STARTCHAR xi
wenzelm@2298
  1873
ENCODING 182
wenzelm@2298
  1874
SWIDTH 144 0
wenzelm@2298
  1875
DWIDTH 9 0
wenzelm@2298
  1876
BBX 6 13 1 -3
wenzelm@2298
  1877
BITMAP
wenzelm@2298
  1878
10
wenzelm@2298
  1879
3c
wenzelm@2298
  1880
40
wenzelm@2298
  1881
40
wenzelm@2298
  1882
40
wenzelm@2298
  1883
38
wenzelm@2298
  1884
40
wenzelm@2298
  1885
80
wenzelm@2298
  1886
80
wenzelm@2298
  1887
f0
wenzelm@2298
  1888
08
wenzelm@2298
  1889
08
wenzelm@2298
  1890
10
wenzelm@2298
  1891
ENDCHAR
wenzelm@2298
  1892
STARTCHAR pi
wenzelm@2298
  1893
ENCODING 183
wenzelm@2298
  1894
SWIDTH 192 0
wenzelm@2298
  1895
DWIDTH 9 0
wenzelm@2298
  1896
BBX 7 6 1 0
wenzelm@2298
  1897
BITMAP
wenzelm@2298
  1898
7e
wenzelm@2298
  1899
a8
wenzelm@2298
  1900
28
wenzelm@2298
  1901
28
wenzelm@2298
  1902
48
wenzelm@2298
  1903
48
wenzelm@2298
  1904
ENDCHAR
wenzelm@2298
  1905
STARTCHAR rho
wenzelm@2298
  1906
ENCODING 184
wenzelm@2298
  1907
SWIDTH 168 0
wenzelm@2298
  1908
DWIDTH 9 0
wenzelm@2298
  1909
BBX 6 9 1 -3
wenzelm@2298
  1910
BITMAP
wenzelm@2298
  1911
1c
wenzelm@2298
  1912
24
wenzelm@2298
  1913
44
wenzelm@2298
  1914
44
wenzelm@2298
  1915
48
wenzelm@2298
  1916
70
wenzelm@2298
  1917
40
wenzelm@2298
  1918
40
wenzelm@2298
  1919
80
wenzelm@2298
  1920
ENDCHAR
wenzelm@2298
  1921
STARTCHAR sigma
wenzelm@2298
  1922
ENCODING 185
wenzelm@2298
  1923
SWIDTH 192 0
wenzelm@2298
  1924
DWIDTH 9 0
wenzelm@2298
  1925
BBX 7 6 1 0
wenzelm@2298
  1926
BITMAP
wenzelm@2298
  1927
3e
wenzelm@2298
  1928
48
wenzelm@2298
  1929
88
wenzelm@2298
  1930
88
wenzelm@2298
  1931
88
wenzelm@2298
  1932
70
wenzelm@2298
  1933
ENDCHAR
wenzelm@2298
  1934
STARTCHAR tau
wenzelm@2298
  1935
ENCODING 186
wenzelm@2298
  1936
SWIDTH 144 0
wenzelm@2298
  1937
DWIDTH 9 0
wenzelm@2298
  1938
BBX 6 6 1 0
wenzelm@2298
  1939
BITMAP
wenzelm@2298
  1940
7c
wenzelm@2298
  1941
a0
wenzelm@2298
  1942
20
wenzelm@2298
  1943
20
wenzelm@2298
  1944
20
wenzelm@2298
  1945
c0
wenzelm@2298
  1946
ENDCHAR
wenzelm@2298
  1947
STARTCHAR varphi
wenzelm@2298
  1948
ENCODING 187
wenzelm@2298
  1949
SWIDTH 216 0
wenzelm@2298
  1950
DWIDTH 9 0
wenzelm@2298
  1951
BBX 7 9 1 -3
wenzelm@2298
  1952
BITMAP
wenzelm@2298
  1953
4c
wenzelm@2298
  1954
92
wenzelm@2298
  1955
92
wenzelm@2298
  1956
a2
wenzelm@2298
  1957
a4
wenzelm@2298
  1958
78
wenzelm@2298
  1959
40
wenzelm@2298
  1960
40
wenzelm@2298
  1961
40
wenzelm@2298
  1962
ENDCHAR
wenzelm@2298
  1963
STARTCHAR chi
wenzelm@2298
  1964
ENCODING 188
wenzelm@2298
  1965
SWIDTH 216 0
wenzelm@2298
  1966
DWIDTH 9 0
wenzelm@2298
  1967
BBX 8 9 0 -3
wenzelm@2298
  1968
BITMAP
wenzelm@2298
  1969
61
wenzelm@2298
  1970
32
wenzelm@2298
  1971
14
wenzelm@2298
  1972
18
wenzelm@2298
  1973
10
wenzelm@2298
  1974
10
wenzelm@2298
  1975
30
wenzelm@2298
  1976
48
wenzelm@2298
  1977
44
wenzelm@2298
  1978
ENDCHAR
wenzelm@2298
  1979
STARTCHAR psi
wenzelm@2298
  1980
ENCODING 189
wenzelm@2298
  1981
SWIDTH 216 0
wenzelm@2298
  1982
DWIDTH 9 0
wenzelm@2298
  1983
BBX 7 11 1 -3
wenzelm@2298
  1984
BITMAP
wenzelm@2298
  1985
08
wenzelm@2298
  1986
48
wenzelm@2298
  1987
ca
wenzelm@2298
  1988
4a
wenzelm@2298
  1989
52
wenzelm@2298
  1990
54
wenzelm@2298
  1991
54
wenzelm@2298
  1992
38
wenzelm@2298
  1993
10
wenzelm@2298
  1994
00
wenzelm@2298
  1995
00
wenzelm@2298
  1996
ENDCHAR
wenzelm@2298
  1997
STARTCHAR omega
wenzelm@2298
  1998
ENCODING 190
wenzelm@2298
  1999
SWIDTH 216 0
wenzelm@2298
  2000
DWIDTH 9 0
wenzelm@2298
  2001
BBX 7 6 1 0
wenzelm@2298
  2002
BITMAP
wenzelm@2298
  2003
42
wenzelm@2298
  2004
82
wenzelm@2298
  2005
92
wenzelm@2298
  2006
a2
wenzelm@2298
  2007
a4
wenzelm@2298
  2008
78
wenzelm@2298
  2009
ENDCHAR
wenzelm@2298
  2010
STARTCHAR not
wenzelm@2298
  2011
ENCODING 191
wenzelm@2298
  2012
SWIDTH 666 0
wenzelm@2298
  2013
DWIDTH 9 0
wenzelm@2298
  2014
BBX 7 4 1 0
wenzelm@2298
  2015
BITMAP
wenzelm@2298
  2016
fe
wenzelm@2298
  2017
06
wenzelm@2298
  2018
06
wenzelm@2298
  2019
06
wenzelm@2298
  2020
ENDCHAR
wenzelm@2298
  2021
STARTCHAR and
wenzelm@2298
  2022
ENCODING 192
wenzelm@2298
  2023
SWIDTH 666 0
wenzelm@2298
  2024
DWIDTH 9 0
wenzelm@2298
  2025
BBX 7 7 1 0
wenzelm@2298
  2026
BITMAP
wenzelm@2298
  2027
10
wenzelm@2298
  2028
28
wenzelm@2298
  2029
28
wenzelm@2298
  2030
44
wenzelm@2298
  2031
44
wenzelm@2298
  2032
82
wenzelm@2298
  2033
82
wenzelm@2298
  2034
ENDCHAR
wenzelm@2298
  2035
STARTCHAR or
wenzelm@2298
  2036
ENCODING 193
wenzelm@2298
  2037
SWIDTH 666 0
wenzelm@2298
  2038
DWIDTH 9 0
wenzelm@2298
  2039
BBX 7 7 1 0
wenzelm@2298
  2040
BITMAP
wenzelm@2298
  2041
82
wenzelm@2298
  2042
82
wenzelm@2298
  2043
44
wenzelm@2298
  2044
44
wenzelm@2298
  2045
28
wenzelm@2298
  2046
28
wenzelm@2298
  2047
10
wenzelm@2298
  2048
ENDCHAR
wenzelm@2298
  2049
STARTCHAR forall
wenzelm@2298
  2050
ENCODING 194
wenzelm@2298
  2051
SWIDTH 666 0
wenzelm@2298
  2052
DWIDTH 9 0
wenzelm@2298
  2053
BBX 7 11 1 -2
wenzelm@2298
  2054
BITMAP
wenzelm@2298
  2055
82
wenzelm@2298
  2056
82
wenzelm@2298
  2057
44
wenzelm@2298
  2058
7c
wenzelm@2298
  2059
44
wenzelm@2298
  2060
28
wenzelm@2298
  2061
28
wenzelm@2298
  2062
10
wenzelm@2298
  2063
10
wenzelm@2298
  2064
00
wenzelm@2298
  2065
00
wenzelm@2298
  2066
ENDCHAR
wenzelm@2298
  2067
STARTCHAR exists
wenzelm@2298
  2068
ENCODING 195
wenzelm@2298
  2069
SWIDTH 666 0
wenzelm@2298
  2070
DWIDTH 9 0
wenzelm@2298
  2071
BBX 5 9 2 0
wenzelm@2298
  2072
BITMAP
wenzelm@2298
  2073
f8
wenzelm@2298
  2074
08
wenzelm@2298
  2075
08
wenzelm@2298
  2076
08
wenzelm@2298
  2077
f8
wenzelm@2298
  2078
08
wenzelm@2298
  2079
08
wenzelm@2298
  2080
08
wenzelm@2298
  2081
f8
wenzelm@2298
  2082
ENDCHAR
wenzelm@2298
  2083
STARTCHAR bigwedge
wenzelm@2298
  2084
ENCODING 196
wenzelm@2298
  2085
SWIDTH 600 0
wenzelm@2298
  2086
DWIDTH 9 0
wenzelm@2298
  2087
BBX 7 11 1 -1
wenzelm@2298
  2088
BITMAP
wenzelm@2298
  2089
10
wenzelm@2298
  2090
10
wenzelm@2298
  2091
28
wenzelm@2298
  2092
28
wenzelm@2298
  2093
28
wenzelm@2298
  2094
44
wenzelm@2298
  2095
44
wenzelm@2298
  2096
44
wenzelm@2298
  2097
82
wenzelm@2298
  2098
82
wenzelm@2298
  2099
82
wenzelm@2298
  2100
ENDCHAR
wenzelm@2298
  2101
STARTCHAR lceil
wenzelm@2298
  2102
ENCODING 197
wenzelm@2298
  2103
SWIDTH 600 0
wenzelm@2298
  2104
DWIDTH 9 0
wenzelm@2298
  2105
BBX 7 12 1 -2
wenzelm@2298
  2106
BITMAP
wenzelm@2298
  2107
fe
wenzelm@2298
  2108
80
wenzelm@2298
  2109
80
wenzelm@2298
  2110
80
wenzelm@2298
  2111
80
wenzelm@2298
  2112
80
wenzelm@2298
  2113
80
wenzelm@2298
  2114
80
wenzelm@2298
  2115
80
wenzelm@2298
  2116
80
wenzelm@2298
  2117
80
wenzelm@2298
  2118
80
wenzelm@2298
  2119
ENDCHAR
wenzelm@2298
  2120
STARTCHAR rceil
wenzelm@2298
  2121
ENCODING 198
wenzelm@2298
  2122
SWIDTH 600 0
wenzelm@2298
  2123
DWIDTH 9 0
wenzelm@2298
  2124
BBX 7 12 1 -2
wenzelm@2298
  2125
BITMAP
wenzelm@2298
  2126
fe
wenzelm@2298
  2127
02
wenzelm@2298
  2128
02
wenzelm@2298
  2129
02
wenzelm@2298
  2130
02
wenzelm@2298
  2131
02
wenzelm@2298
  2132
02
wenzelm@2298
  2133
02
wenzelm@2298
  2134
02
wenzelm@2298
  2135
02
wenzelm@2298
  2136
02
wenzelm@2298
  2137
02
wenzelm@2298
  2138
ENDCHAR
wenzelm@2298
  2139
STARTCHAR lfloor
wenzelm@2298
  2140
ENCODING 199
wenzelm@2298
  2141
SWIDTH 600 0
wenzelm@2298
  2142
DWIDTH 9 0
wenzelm@2298
  2143
BBX 7 12 1 -2
wenzelm@2298
  2144
BITMAP
wenzelm@2298
  2145
80
wenzelm@2298
  2146
80
wenzelm@2298
  2147
80
wenzelm@2298
  2148
80
wenzelm@2298
  2149
80
wenzelm@2298
  2150
80
wenzelm@2298
  2151
80
wenzelm@2298
  2152
80
wenzelm@2298
  2153
80
wenzelm@2298
  2154
80
wenzelm@2298
  2155
80
wenzelm@2298
  2156
fe
wenzelm@2298
  2157
ENDCHAR
wenzelm@2298
  2158
STARTCHAR rfloor
wenzelm@2298
  2159
ENCODING 200
wenzelm@2298
  2160
SWIDTH 600 0
wenzelm@2298
  2161
DWIDTH 9 0
wenzelm@2298
  2162
BBX 7 12 1 -2
wenzelm@2298
  2163
BITMAP
wenzelm@2298
  2164
02
wenzelm@2298
  2165
02
wenzelm@2298
  2166
02
wenzelm@2298
  2167
02
wenzelm@2298
  2168
02
wenzelm@2298
  2169
02
wenzelm@2298
  2170
02
wenzelm@2298
  2171
02
wenzelm@2298
  2172
02
wenzelm@2298
  2173
02
wenzelm@2298
  2174
02
wenzelm@2298
  2175
fe
wenzelm@2298
  2176
ENDCHAR
wenzelm@2298
  2177
STARTCHAR llparenthesis
wenzelm@2298
  2178
ENCODING 201
wenzelm@2298
  2179
SWIDTH 600 0
wenzelm@2298
  2180
DWIDTH 9 0
wenzelm@2298
  2181
BBX 4 12 3 -2
wenzelm@2298
  2182
BITMAP
wenzelm@2298
  2183
10
wenzelm@2298
  2184
30
wenzelm@2298
  2185
50
wenzelm@2298
  2186
90
wenzelm@2298
  2187
90
wenzelm@2298
  2188
90
wenzelm@2298
  2189
90
wenzelm@2298
  2190
90
wenzelm@2298
  2191
90
wenzelm@2298
  2192
50
wenzelm@2298
  2193
30
wenzelm@2298
  2194
10
wenzelm@2298
  2195
ENDCHAR
wenzelm@2298
  2196
STARTCHAR rrparenthesis
wenzelm@2298
  2197
ENCODING 202
wenzelm@2298
  2198
SWIDTH 600 0
wenzelm@2298
  2199
DWIDTH 9 0
wenzelm@2298
  2200
BBX 4 12 2 -2
wenzelm@2298
  2201
BITMAP
wenzelm@2298
  2202
80
wenzelm@2298
  2203
c0
wenzelm@2298
  2204
a0
wenzelm@2298
  2205
90
wenzelm@2298
  2206
90
wenzelm@2298
  2207
90
wenzelm@2298
  2208
90
wenzelm@2298
  2209
90
wenzelm@2298
  2210
90
wenzelm@2298
  2211
a0
wenzelm@2298
  2212
c0
wenzelm@2298
  2213
80
wenzelm@2298
  2214
ENDCHAR
wenzelm@2298
  2215
STARTCHAR llbracket
wenzelm@2298
  2216
ENCODING 203
wenzelm@2298
  2217
SWIDTH 600 0
wenzelm@2298
  2218
DWIDTH 9 0
wenzelm@2298
  2219
BBX 7 12 1 -2
wenzelm@2298
  2220
BITMAP
wenzelm@2298
  2221
fe
wenzelm@2298
  2222
90
wenzelm@2298
  2223
90
wenzelm@2298
  2224
90
wenzelm@2298
  2225
90
wenzelm@2298
  2226
90
wenzelm@2298
  2227
90
wenzelm@2298
  2228
90
wenzelm@2298
  2229
90
wenzelm@2298
  2230
90
wenzelm@2298
  2231
90
wenzelm@2298
  2232
fe
wenzelm@2298
  2233
ENDCHAR
wenzelm@2298
  2234
STARTCHAR rrbracket
wenzelm@2298
  2235
ENCODING 204
wenzelm@2298
  2236
SWIDTH 600 0
wenzelm@2298
  2237
DWIDTH 9 0
wenzelm@2298
  2238
BBX 7 12 1 -2
wenzelm@2298
  2239
BITMAP
wenzelm@2298
  2240
FE
wenzelm@2298
  2241
12
wenzelm@2298
  2242
12
wenzelm@2298
  2243
12
wenzelm@2298
  2244
12
wenzelm@2298
  2245
12
wenzelm@2298
  2246
12
wenzelm@2298
  2247
12
wenzelm@2298
  2248
12
wenzelm@2298
  2249
12
wenzelm@2298
  2250
12
wenzelm@2298
  2251
FE
wenzelm@2298
  2252
ENDCHAR
wenzelm@2298
  2253
STARTCHAR emptyset
wenzelm@2298
  2254
ENCODING 205
wenzelm@2298
  2255
SWIDTH 666 0
wenzelm@2298
  2256
DWIDTH 9 0
wenzelm@2298
  2257
BBX 8 13 0 -2
wenzelm@2298
  2258
BITMAP
wenzelm@2298
  2259
00
wenzelm@2298
  2260
00
wenzelm@2298
  2261
00
wenzelm@2298
  2262
00
wenzelm@2298
  2263
1d
wenzelm@2298
  2264
22
wenzelm@2298
  2265
45
wenzelm@2298
  2266
49
wenzelm@2298
  2267
51
wenzelm@2298
  2268
22
wenzelm@2298
  2269
5c
wenzelm@2298
  2270
00
wenzelm@2298
  2271
00
wenzelm@2298
  2272
ENDCHAR
wenzelm@2298
  2273
STARTCHAR in
wenzelm@2298
  2274
ENCODING 206
wenzelm@2298
  2275
SWIDTH 216 0
wenzelm@2298
  2276
DWIDTH 9 0
wenzelm@2298
  2277
BBX 6 10 1 -3
wenzelm@2298
  2278
BITMAP
wenzelm@2298
  2279
3c
wenzelm@2298
  2280
40
wenzelm@2298
  2281
80
wenzelm@2298
  2282
f8
wenzelm@2298
  2283
80
wenzelm@2298
  2284
40
wenzelm@2298
  2285
3c
wenzelm@2298
  2286
00
wenzelm@2298
  2287
00
wenzelm@2298
  2288
00
wenzelm@2298
  2289
ENDCHAR
wenzelm@2298
  2290
STARTCHAR subseteq
wenzelm@2298
  2291
ENCODING 207
wenzelm@2298
  2292
SWIDTH 666 0
wenzelm@2298
  2293
DWIDTH 9 0
wenzelm@2298
  2294
BBX 6 10 1 -2
wenzelm@2298
  2295
BITMAP
wenzelm@2298
  2296
7c
wenzelm@2298
  2297
80
wenzelm@2298
  2298
80
wenzelm@2298
  2299
80
wenzelm@2298
  2300
7c
wenzelm@2298
  2301
00
wenzelm@2298
  2302
7c
wenzelm@2298
  2303
00
wenzelm@2298
  2304
00
wenzelm@2298
  2305
00
wenzelm@2298
  2306
ENDCHAR
wenzelm@2298
  2307
STARTCHAR cap
wenzelm@2298
  2308
ENCODING 208
wenzelm@2298
  2309
SWIDTH 666 0
wenzelm@2298
  2310
DWIDTH 9 0
wenzelm@2298
  2311
BBX 6 7 1 0
wenzelm@2298
  2312
BITMAP
wenzelm@2298
  2313
78
wenzelm@2298
  2314
cc
wenzelm@2298
  2315
84
wenzelm@2298
  2316
84
wenzelm@2298
  2317
84
wenzelm@2298
  2318
84
wenzelm@2298
  2319
84
wenzelm@2298
  2320
ENDCHAR
wenzelm@2298
  2321
STARTCHAR cup
wenzelm@2298
  2322
ENCODING 209
wenzelm@2298
  2323
SWIDTH 666 0
wenzelm@2298
  2324
DWIDTH 9 0
wenzelm@2298
  2325
BBX 6 7 1 0
wenzelm@2298
  2326
BITMAP
wenzelm@2298
  2327
84
wenzelm@2298
  2328
84
wenzelm@2298
  2329
84
wenzelm@2298
  2330
84
wenzelm@2298
  2331
84
wenzelm@2298
  2332
cc
wenzelm@2298
  2333
78
wenzelm@2298
  2334
ENDCHAR
wenzelm@2298
  2335
STARTCHAR bigcap
wenzelm@2298
  2336
ENCODING 210
wenzelm@2298
  2337
SWIDTH 600 0
wenzelm@2298
  2338
DWIDTH 9 0
wenzelm@2298
  2339
BBX 7 10 1 -1
wenzelm@2298
  2340
BITMAP
wenzelm@2298
  2341
38
wenzelm@2298
  2342
44
wenzelm@2298
  2343
82
wenzelm@2298
  2344
82
wenzelm@2298
  2345
82
wenzelm@2298
  2346
82
wenzelm@2298
  2347
82
wenzelm@2298
  2348
82
wenzelm@2298
  2349
82
wenzelm@2298
  2350
82
wenzelm@2298
  2351
ENDCHAR
wenzelm@2298
  2352
STARTCHAR bigcup
wenzelm@2298
  2353
ENCODING 211
wenzelm@2298
  2354
SWIDTH 600 0
wenzelm@2298
  2355
DWIDTH 9 0
wenzelm@2298
  2356
BBX 7 10 1 -1
wenzelm@2298
  2357
BITMAP
wenzelm@2298
  2358
82
wenzelm@2298
  2359
82
wenzelm@2298
  2360
82
wenzelm@2298
  2361
82
wenzelm@2298
  2362
82
wenzelm@2298
  2363
82
wenzelm@2298
  2364
82
wenzelm@2298
  2365
82
wenzelm@2298
  2366
44
wenzelm@2298
  2367
38
wenzelm@2298
  2368
ENDCHAR
wenzelm@2298
  2369
STARTCHAR sqcap
wenzelm@2298
  2370
ENCODING 212
wenzelm@2298
  2371
SWIDTH 666 0
wenzelm@2298
  2372
DWIDTH 9 0
wenzelm@2298
  2373
BBX 6 7 1 0
wenzelm@2298
  2374
BITMAP
wenzelm@2298
  2375
fc
wenzelm@2298
  2376
84
wenzelm@2298
  2377
84
wenzelm@2298
  2378
84
wenzelm@2298
  2379
84
wenzelm@2298
  2380
84
wenzelm@2298
  2381
84
wenzelm@2298
  2382
ENDCHAR
wenzelm@2298
  2383
STARTCHAR sqcup
wenzelm@2298
  2384
ENCODING 213
wenzelm@2298
  2385
SWIDTH 666 0
wenzelm@2298
  2386
DWIDTH 9 0
wenzelm@2298
  2387
BBX 6 7 1 0
wenzelm@2298
  2388
BITMAP
wenzelm@2298
  2389
84
wenzelm@2298
  2390
84
wenzelm@2298
  2391
84
wenzelm@2298
  2392
84
wenzelm@2298
  2393
84
wenzelm@2298
  2394
84
wenzelm@2298
  2395
fc
wenzelm@2298
  2396
ENDCHAR
wenzelm@2298
  2397
STARTCHAR bigsqcap
wenzelm@2298
  2398
ENCODING 214
wenzelm@2298
  2399
SWIDTH 600 0
wenzelm@2298
  2400
DWIDTH 9 0
wenzelm@2298
  2401
BBX 7 10 1 -1
wenzelm@2298
  2402
BITMAP
wenzelm@2298
  2403
FE
wenzelm@2298
  2404
82
wenzelm@2298
  2405
82
wenzelm@2298
  2406
82
wenzelm@2298
  2407
82
wenzelm@2298
  2408
82
wenzelm@2298
  2409
82
wenzelm@2298
  2410
82
wenzelm@2298
  2411
82
wenzelm@2298
  2412
82
wenzelm@2298
  2413
ENDCHAR
wenzelm@2298
  2414
STARTCHAR bigsqcup
wenzelm@2298
  2415
ENCODING 215
wenzelm@2298
  2416
SWIDTH 600 0
wenzelm@2298
  2417
DWIDTH 9 0
wenzelm@2298
  2418
BBX 7 10 1 -1
wenzelm@2298
  2419
BITMAP
wenzelm@2298
  2420
82
wenzelm@2298
  2421
82
wenzelm@2298
  2422
82
wenzelm@2298
  2423
82
wenzelm@2298
  2424
82
wenzelm@2298
  2425
82
wenzelm@2298
  2426
82
wenzelm@2298
  2427
82
wenzelm@2298
  2428
82
wenzelm@2298
  2429
FE
wenzelm@2298
  2430
ENDCHAR
wenzelm@2298
  2431
STARTCHAR perp
wenzelm@2298
  2432
ENCODING 216
wenzelm@2298
  2433
SWIDTH 666 0
wenzelm@2298
  2434
DWIDTH 9 0
wenzelm@2298
  2435
BBX 7 7 1 1
wenzelm@2298
  2436
BITMAP
wenzelm@2298
  2437
10
wenzelm@2298
  2438
10
wenzelm@2298
  2439
10
wenzelm@2298
  2440
10
wenzelm@2298
  2441
10
wenzelm@2298
  2442
10
wenzelm@2298
  2443
fe
wenzelm@2298
  2444
ENDCHAR
wenzelm@2298
  2445
STARTCHAR doteq
wenzelm@2298
  2446
ENCODING 217
wenzelm@2298
  2447
SWIDTH 144 0
wenzelm@2298
  2448
DWIDTH 9 0
wenzelm@2298
  2449
BBX 7 5 1 2
wenzelm@2298
  2450
BITMAP
wenzelm@2298
  2451
10
wenzelm@2298
  2452
00
wenzelm@2298
  2453
fe
wenzelm@2298
  2454
00
wenzelm@2298
  2455
fe
wenzelm@2298
  2456
ENDCHAR
wenzelm@2298
  2457
STARTCHAR equiv
wenzelm@2298
  2458
ENCODING 218
wenzelm@2298
  2459
SWIDTH 240 0
wenzelm@2298
  2460
DWIDTH 9 0
wenzelm@2298
  2461
BBX 6 5 1 1
wenzelm@2298
  2462
BITMAP
wenzelm@2298
  2463
fc
wenzelm@2298
  2464
00
wenzelm@2298
  2465
fc
wenzelm@2298
  2466
00
wenzelm@2298
  2467
fc
wenzelm@2298
  2468
ENDCHAR
wenzelm@2298
  2469
STARTCHAR neq
wenzelm@2298
  2470
ENCODING 219
wenzelm@2298
  2471
SWIDTH 666 0
wenzelm@2298
  2472
DWIDTH 9 0
wenzelm@2298
  2473
BBX 7 5 1 1
wenzelm@2298
  2474
BITMAP
wenzelm@2298
  2475
08
wenzelm@2298
  2476
fe
wenzelm@2298
  2477
10
wenzelm@2298
  2478
fe
wenzelm@2298
  2479
20
wenzelm@2298
  2480
ENDCHAR
wenzelm@2298
  2481
STARTCHAR sqsubset
wenzelm@2298
  2482
ENCODING 220
wenzelm@2298
  2483
SWIDTH 666 0
wenzelm@2298
  2484
DWIDTH 9 0
wenzelm@2298
  2485
BBX 6 5 1 2
wenzelm@2298
  2486
BITMAP
wenzelm@2298
  2487
fc
wenzelm@2298
  2488
80
wenzelm@2298
  2489
80
wenzelm@2298
  2490
80
wenzelm@2298
  2491
fc
wenzelm@2298
  2492
ENDCHAR
wenzelm@2298
  2493
STARTCHAR sqsubseteq
wenzelm@2298
  2494
ENCODING 221
wenzelm@2298
  2495
SWIDTH 666 0
wenzelm@2298
  2496
DWIDTH 9 0
wenzelm@2298
  2497
BBX 6 6 1 1
wenzelm@2298
  2498
BITMAP
wenzelm@2298
  2499
fc
wenzelm@2298
  2500
80
wenzelm@2298
  2501
80
wenzelm@2298
  2502
fc
wenzelm@2298
  2503
00
wenzelm@2298
  2504
fc
wenzelm@2298
  2505
ENDCHAR
wenzelm@2298
  2506
STARTCHAR prec
wenzelm@2298
  2507
ENCODING 222
wenzelm@2298
  2508
SWIDTH 666 0
wenzelm@2298
  2509
DWIDTH 9 0
wenzelm@2298
  2510
BBX 7 7 1 2
wenzelm@2298
  2511
BITMAP
wenzelm@2298
  2512
02
wenzelm@2298
  2513
04
wenzelm@2298
  2514
18
wenzelm@2298
  2515
e0
wenzelm@2298
  2516
18
wenzelm@2298
  2517
04
wenzelm@2298
  2518
02
wenzelm@2298
  2519
ENDCHAR
wenzelm@2298
  2520
STARTCHAR preceq
wenzelm@2298
  2521
ENCODING 223
wenzelm@2298
  2522
SWIDTH 666 0
wenzelm@2298
  2523
DWIDTH 9 0
wenzelm@2298
  2524
BBX 7 9 1 0
wenzelm@2298
  2525
BITMAP
wenzelm@2298
  2526
02
wenzelm@2298
  2527
04
wenzelm@2298
  2528
18
wenzelm@2298
  2529
e0
wenzelm@2298
  2530
18
wenzelm@2298
  2531
04
wenzelm@2298
  2532
02
wenzelm@2298
  2533
00
wenzelm@2298
  2534
fe
wenzelm@2298
  2535
ENDCHAR
wenzelm@2298
  2536
STARTCHAR succ
wenzelm@2298
  2537
ENCODING 224
wenzelm@2298
  2538
SWIDTH 666 0
wenzelm@2298
  2539
DWIDTH 9 0
wenzelm@2298
  2540
BBX 7 7 1 2
wenzelm@2298
  2541
BITMAP
wenzelm@2298
  2542
80
wenzelm@2298
  2543
40
wenzelm@2298
  2544
30
wenzelm@2298
  2545
0e
wenzelm@2298
  2546
30
wenzelm@2298
  2547
40
wenzelm@2298
  2548
80
wenzelm@2298
  2549
ENDCHAR
wenzelm@2298
  2550
STARTCHAR succeq
wenzelm@2298
  2551
ENCODING 225
wenzelm@2298
  2552
SWIDTH 666 0
wenzelm@2298
  2553
DWIDTH 9 0
wenzelm@2298
  2554
BBX 7 9 1 0
wenzelm@2298
  2555
BITMAP
wenzelm@2298
  2556
80
wenzelm@2298
  2557
40
wenzelm@2298
  2558
30
wenzelm@2298
  2559
0e
wenzelm@2298
  2560
30
wenzelm@2298
  2561
40
wenzelm@2298
  2562
80
wenzelm@2298
  2563
00
wenzelm@2298
  2564
fe
wenzelm@2298
  2565
ENDCHAR
wenzelm@2298
  2566
STARTCHAR sim
wenzelm@2298
  2567
ENCODING 226
wenzelm@2298
  2568
SWIDTH 240 0
wenzelm@2298
  2569
DWIDTH 9 0
wenzelm@2298
  2570
BBX 7 3 1 3
wenzelm@2298
  2571
BITMAP
wenzelm@2298
  2572
60
wenzelm@2298
  2573
92
wenzelm@2298
  2574
0c
wenzelm@2298
  2575
ENDCHAR
wenzelm@2298
  2576
STARTCHAR simeq
wenzelm@2298
  2577
ENCODING 227
wenzelm@2298
  2578
SWIDTH 240 0
wenzelm@2298
  2579
DWIDTH 9 0
wenzelm@2298
  2580
BBX 7 5 1 2
wenzelm@2298
  2581
BITMAP
wenzelm@2298
  2582
60
wenzelm@2298
  2583
92
wenzelm@2298
  2584
0c
wenzelm@2298
  2585
00
wenzelm@2298
  2586
fe
wenzelm@2298
  2587
ENDCHAR
wenzelm@2298
  2588
STARTCHAR le
wenzelm@2298
  2589
ENCODING 228
wenzelm@2298
  2590
SWIDTH 666 0
wenzelm@2298
  2591
DWIDTH 9 0
wenzelm@2298
  2592
BBX 6 8 1 0
wenzelm@2298
  2593
BITMAP
wenzelm@2298
  2594
0c
wenzelm@2298
  2595
30
wenzelm@2298
  2596
c0
wenzelm@2298
  2597
30
wenzelm@2298
  2598
0c
wenzelm@2298
  2599
00
wenzelm@2298
  2600
00
wenzelm@2298
  2601
fc
wenzelm@2298
  2602
ENDCHAR
wenzelm@2298
  2603
STARTCHAR ge
wenzelm@2298
  2604
ENCODING 229
wenzelm@2298
  2605
SWIDTH 666 0
wenzelm@2298
  2606
DWIDTH 9 0
wenzelm@2298
  2607
BBX 6 8 1 0
wenzelm@2298
  2608
BITMAP
wenzelm@2298
  2609
c0
wenzelm@2298
  2610
30
wenzelm@2298
  2611
0c
wenzelm@2298
  2612
30
wenzelm@2298
  2613
c0
wenzelm@2298
  2614
00
wenzelm@2298
  2615
00
wenzelm@2298
  2616
fc
wenzelm@2298
  2617
ENDCHAR
wenzelm@2298
  2618
STARTCHAR leftarrow
wenzelm@2298
  2619
ENCODING 230
wenzelm@2298
  2620
SWIDTH 666 0
wenzelm@2298
  2621
DWIDTH 9 0
wenzelm@2298
  2622
BBX 9 5 0 2
wenzelm@2298
  2623
BITMAP
wenzelm@2298
  2624
3000
wenzelm@2298
  2625
6000
wenzelm@2298
  2626
ff80
wenzelm@2298
  2627
6000
wenzelm@2298
  2628
3000
wenzelm@2298
  2629
ENDCHAR
wenzelm@2298
  2630
STARTCHAR hline
wenzelm@2298
  2631
ENCODING 231
wenzelm@2298
  2632
SWIDTH 600 0
wenzelm@2298
  2633
DWIDTH 9 0
wenzelm@2298
  2634
BBX 9 1 0 4
wenzelm@2298
  2635
BITMAP
wenzelm@2298
  2636
FF80
wenzelm@2298
  2637
ENDCHAR
wenzelm@2298
  2638
STARTCHAR rightarrow
wenzelm@2298
  2639
ENCODING 232
wenzelm@2298
  2640
SWIDTH 666 0
wenzelm@2298
  2641
DWIDTH 9 0
wenzelm@2298
  2642
BBX 8 5 0 2
wenzelm@2298
  2643
BITMAP
wenzelm@2298
  2644
0c
wenzelm@2298
  2645
06
wenzelm@2298
  2646
ff
wenzelm@2298
  2647
06
wenzelm@2298
  2648
0c
wenzelm@2298
  2649
ENDCHAR
wenzelm@2298
  2650
STARTCHAR Leftarrow
wenzelm@2298
  2651
ENCODING 233
wenzelm@2298
  2652
SWIDTH 666 0
wenzelm@2298
  2653
DWIDTH 9 0
wenzelm@2298
  2654
BBX 9 7 0 0
wenzelm@2298
  2655
BITMAP
wenzelm@2298
  2656
1800
wenzelm@2298
  2657
3000
wenzelm@2298
  2658
7f80
wenzelm@2298
  2659
c000
wenzelm@2298
  2660
7f80
wenzelm@2298
  2661
3000
wenzelm@2298
  2662
1800
wenzelm@2298
  2663
ENDCHAR
wenzelm@2298
  2664
STARTCHAR doublehline
wenzelm@2298
  2665
ENCODING 234
wenzelm@2298
  2666
SWIDTH 600 0
wenzelm@2298
  2667
DWIDTH 9 0
wenzelm@2298
  2668
BBX 9 3 0 2
wenzelm@2298
  2669
BITMAP
wenzelm@2298
  2670
FF80
wenzelm@2298
  2671
0000
wenzelm@2298
  2672
FF80
wenzelm@2298
  2673
ENDCHAR
wenzelm@2298
  2674
STARTCHAR Rightarrow
wenzelm@2298
  2675
ENCODING 235
wenzelm@2298
  2676
SWIDTH 666 0
wenzelm@2298
  2677
DWIDTH 9 0
wenzelm@2298
  2678
BBX 8 7 0 0
wenzelm@2298
  2679
BITMAP
wenzelm@2298
  2680
18
wenzelm@2298
  2681
0c
wenzelm@2298
  2682
fe
wenzelm@2298
  2683
03
wenzelm@2298
  2684
fe
wenzelm@2298
  2685
0c
wenzelm@2298
  2686
18
wenzelm@2298
  2687
ENDCHAR
wenzelm@2298
  2688
STARTCHAR twohead_rightarrow
wenzelm@2298
  2689
ENCODING 236
wenzelm@2298
  2690
SWIDTH 666 0
wenzelm@2298
  2691
DWIDTH 9 0
wenzelm@2298
  2692
BBX 9 5 0 2
wenzelm@2298
  2693
BITMAP
wenzelm@2298
  2694
1200
wenzelm@2298
  2695
0900
wenzelm@2298
  2696
ff80
wenzelm@2298
  2697
0900
wenzelm@2298
  2698
1200
wenzelm@2298
  2699
ENDCHAR
wenzelm@2298
  2700
STARTCHAR mapsto
wenzelm@2298
  2701
ENCODING 237
wenzelm@2298
  2702
SWIDTH 666 0
wenzelm@2298
  2703
DWIDTH 9 0
wenzelm@2298
  2704
BBX 7 5 1 2
wenzelm@2298
  2705
BITMAP
wenzelm@2298
  2706
88
wenzelm@2298
  2707
84
wenzelm@2298
  2708
fe
wenzelm@2298
  2709
84
wenzelm@2298
  2710
88
wenzelm@2298
  2711
ENDCHAR
wenzelm@2298
  2712
STARTCHAR leadsto
wenzelm@2298
  2713
ENCODING 238
wenzelm@2298
  2714
SWIDTH 666 0
wenzelm@2298
  2715
DWIDTH 9 0
wenzelm@2298
  2716
BBX 8 5 0 2
wenzelm@2298
  2717
BITMAP
wenzelm@2298
  2718
04
wenzelm@2298
  2719
62
wenzelm@2298
  2720
93
wenzelm@2298
  2721
0e
wenzelm@2298
  2722
04
wenzelm@2298
  2723
ENDCHAR
wenzelm@2298
  2724
STARTCHAR uparrow
wenzelm@2298
  2725
ENCODING 239
wenzelm@2298
  2726
SWIDTH 144 0
wenzelm@2298
  2727
DWIDTH 9 0
wenzelm@2298
  2728
BBX 5 9 2 0
wenzelm@2298
  2729
BITMAP
wenzelm@2298
  2730
20
wenzelm@2298
  2731
70
wenzelm@2298
  2732
a8
wenzelm@2298
  2733
20
wenzelm@2298
  2734
20
wenzelm@2298
  2735
20
wenzelm@2298
  2736
20
wenzelm@2298
  2737
20
wenzelm@2298
  2738
20
wenzelm@2298
  2739
ENDCHAR
wenzelm@2298
  2740
STARTCHAR downarrow
wenzelm@2298
  2741
ENCODING 240
wenzelm@2298
  2742
SWIDTH 144 0
wenzelm@2298
  2743
DWIDTH 9 0
wenzelm@2298
  2744
BBX 5 9 2 0
wenzelm@2298
  2745
BITMAP
wenzelm@2298
  2746
20
wenzelm@2298
  2747
20
wenzelm@2298
  2748
20
wenzelm@2298
  2749
20
wenzelm@2298
  2750
20
wenzelm@2298
  2751
20
wenzelm@2298
  2752
a8
wenzelm@2298
  2753
70
wenzelm@2298
  2754
20
wenzelm@2298
  2755
ENDCHAR
wenzelm@2298
  2756
STARTCHAR not_in
wenzelm@2298
  2757
ENCODING 241
wenzelm@2298
  2758
SWIDTH 666 0
wenzelm@2298
  2759
DWIDTH 9 0
wenzelm@2298
  2760
BBX 6 9 1 -1
wenzelm@2298
  2761
BITMAP
wenzelm@2298
  2762
08
wenzelm@2298
  2763
3c
wenzelm@2298
  2764
50
wenzelm@2298
  2765
90
wenzelm@2298
  2766
f8
wenzelm@2298
  2767
a0
wenzelm@2298
  2768
40
wenzelm@2298
  2769
7c
wenzelm@2298
  2770
80
wenzelm@2298
  2771
ENDCHAR
wenzelm@2298
  2772
STARTCHAR times
wenzelm@2298
  2773
ENCODING 242
wenzelm@2298
  2774
SWIDTH 666 0
wenzelm@2298
  2775
DWIDTH 9 0
wenzelm@2298
  2776
BBX 6 6 1 0
wenzelm@2298
  2777
BITMAP
wenzelm@2298
  2778
84
wenzelm@2298
  2779
48
wenzelm@2298
  2780
30
wenzelm@2298
  2781
30
wenzelm@2298
  2782
48
wenzelm@2298
  2783
84
wenzelm@2298
  2784
ENDCHAR
wenzelm@2298
  2785
STARTCHAR oplus
wenzelm@2298
  2786
ENCODING 243
wenzelm@2298
  2787
SWIDTH 240 0
wenzelm@2298
  2788
DWIDTH 9 0
wenzelm@2298
  2789
BBX 9 9 0 0
wenzelm@2298
  2790
BITMAP
wenzelm@2298
  2791
1c00
wenzelm@2298
  2792
2200
wenzelm@2298
  2793
4900
wenzelm@2298
  2794
8880
wenzelm@2298
  2795
be80
wenzelm@2298
  2796
8880
wenzelm@2298
  2797
4900
wenzelm@2298
  2798
2200
wenzelm@2298
  2799
1c00
wenzelm@2298
  2800
ENDCHAR
wenzelm@2298
  2801
STARTCHAR ominus
wenzelm@2298
  2802
ENCODING 244
wenzelm@2298
  2803
SWIDTH 240 0
wenzelm@2298
  2804
DWIDTH 9 0
wenzelm@2298
  2805
BBX 9 9 0 0 
wenzelm@2298
  2806
BITMAP
wenzelm@2298
  2807
1c00
wenzelm@2298
  2808
2200
wenzelm@2298
  2809
4100
wenzelm@2298
  2810
8080
wenzelm@2298
  2811
be80
wenzelm@2298
  2812
8080
wenzelm@2298
  2813
4100
wenzelm@2298
  2814
2200
wenzelm@2298
  2815
1c00
wenzelm@2298
  2816
ENDCHAR
wenzelm@2298
  2817
STARTCHAR otimes
wenzelm@2298
  2818
ENCODING 245
wenzelm@2298
  2819
SWIDTH 666 0
wenzelm@2298
  2820
DWIDTH 9 0
wenzelm@2298
  2821
BBX 9 9 0 0
wenzelm@2298
  2822
BITMAP
wenzelm@2298
  2823
1c00
wenzelm@2298
  2824
2200
wenzelm@2298
  2825
6300
wenzelm@2298
  2826
9480
wenzelm@2298
  2827
8880
wenzelm@2298
  2828
9480
wenzelm@2298
  2829
6300
wenzelm@2298
  2830
2200
wenzelm@2298
  2831
1c00
wenzelm@2298
  2832
ENDCHAR
wenzelm@2298
  2833
STARTCHAR oslash
wenzelm@2298
  2834
ENCODING 246
wenzelm@2298
  2835
SWIDTH 666 0
wenzelm@2298
  2836
DWIDTH 9 0
wenzelm@2298
  2837
BBX 9 9 0 0 
wenzelm@2298
  2838
BITMAP
wenzelm@2298
  2839
1c00
wenzelm@2298
  2840
2200
wenzelm@2298
  2841
4300
wenzelm@2298
  2842
8480
wenzelm@2298
  2843
8880
wenzelm@2298
  2844
9080
wenzelm@2298
  2845
6100
wenzelm@2298
  2846
2200
wenzelm@2298
  2847
1c00
wenzelm@2298
  2848
ENDCHAR
wenzelm@2298
  2849
STARTCHAR natural
wenzelm@2298
  2850
ENCODING 247
wenzelm@2298
  2851
SWIDTH 600 0
wenzelm@2298
  2852
DWIDTH 9 0
wenzelm@2298
  2853
BBX 4 9 2 0
wenzelm@2298
  2854
BITMAP
wenzelm@2298
  2855
80
wenzelm@2298
  2856
90
wenzelm@2298
  2857
b0
wenzelm@2298
  2858
d0
wenzelm@2298
  2859
90
wenzelm@2298
  2860
b0
wenzelm@2298
  2861
d0
wenzelm@2298
  2862
90
wenzelm@2298
  2863
10
wenzelm@2298
  2864
ENDCHAR
wenzelm@2298
  2865
STARTCHAR infinity
wenzelm@2298
  2866
ENCODING 248
wenzelm@2298
  2867
SWIDTH 666 0
wenzelm@2298
  2868
DWIDTH 9 0
wenzelm@2298
  2869
BBX 7 5 1 2
wenzelm@2298
  2870
BITMAP
wenzelm@2298
  2871
44
wenzelm@2298
  2872
aa
wenzelm@2298
  2873
92
wenzelm@2298
  2874
aa
wenzelm@2298
  2875
44
wenzelm@2298
  2876
ENDCHAR
wenzelm@2298
  2877
STARTCHAR Box
wenzelm@2298
  2878
ENCODING 249
wenzelm@2298
  2879
SWIDTH 666 0
wenzelm@2298
  2880
DWIDTH 9 0
wenzelm@2298
  2881
BBX 5 5 2 1
wenzelm@2298
  2882
BITMAP
wenzelm@2298
  2883
f8
wenzelm@2298
  2884
88
wenzelm@2298
  2885
88
wenzelm@2298
  2886
88
wenzelm@2298
  2887
f8
wenzelm@2298
  2888
ENDCHAR
wenzelm@2298
  2889
STARTCHAR Diamond
wenzelm@2298
  2890
ENCODING 250
wenzelm@2298
  2891
SWIDTH 666 0
wenzelm@2298
  2892
DWIDTH 9 0
wenzelm@2298
  2893
BBX 7 7 1 1
wenzelm@2298
  2894
BITMAP
wenzelm@2298
  2895
10
wenzelm@2298
  2896
28
wenzelm@2298
  2897
44
wenzelm@2298
  2898
82
wenzelm@2298
  2899
44
wenzelm@2298
  2900
28
wenzelm@2298
  2901
10
wenzelm@2298
  2902
ENDCHAR
wenzelm@2298
  2903
STARTCHAR circ
wenzelm@2298
  2904
ENCODING 251
wenzelm@2298
  2905
SWIDTH 666 0
wenzelm@2298
  2906
DWIDTH 9 0
wenzelm@2298
  2907
BBX 5 5 2 2
wenzelm@2298
  2908
BITMAP
wenzelm@2298
  2909
70
wenzelm@2298
  2910
88
wenzelm@2298
  2911
88
wenzelm@2298
  2912
88
wenzelm@2298
  2913
70
wenzelm@2298
  2914
ENDCHAR
wenzelm@2298
  2915
STARTCHAR bullet
wenzelm@2298
  2916
ENCODING 252
wenzelm@2298
  2917
SWIDTH 666 0
wenzelm@2298
  2918
DWIDTH 9 0
wenzelm@2298
  2919
BBX 5 5 2 2
wenzelm@2298
  2920
BITMAP
wenzelm@2298
  2921
70
wenzelm@2298
  2922
f8
wenzelm@2298
  2923
f8
wenzelm@2298
  2924
f8
wenzelm@2298
  2925
70
wenzelm@2298
  2926
ENDCHAR
wenzelm@2298
  2927
STARTCHAR parallel
wenzelm@2298
  2928
ENCODING 253
wenzelm@2298
  2929
SWIDTH 666 0
wenzelm@2298
  2930
DWIDTH 9 0
wenzelm@2298
  2931
BBX 6 12 1 -2
wenzelm@2298
  2932
BITMAP
wenzelm@2298
  2933
14
wenzelm@2298
  2934
14
wenzelm@2298
  2935
14
wenzelm@2298
  2936
14
wenzelm@2298
  2937
14
wenzelm@2298
  2938
14
wenzelm@2298
  2939
14
wenzelm@2298
  2940
14
wenzelm@2298
  2941
14
wenzelm@2298
  2942
14
wenzelm@2298
  2943
14
wenzelm@2298
  2944
14
wenzelm@2298
  2945
ENDCHAR
wenzelm@2298
  2946
STARTCHAR surd
wenzelm@2298
  2947
ENCODING 254
wenzelm@2298
  2948
SWIDTH 0 0
wenzelm@2298
  2949
DWIDTH 9 0
wenzelm@2298
  2950
BBX 7 8 1 0
wenzelm@2298
  2951
BITMAP
wenzelm@2298
  2952
06
wenzelm@2298
  2953
04
wenzelm@2298
  2954
04
wenzelm@2298
  2955
c8
wenzelm@2298
  2956
48
wenzelm@2298
  2957
50
wenzelm@2298
  2958
30
wenzelm@2298
  2959
20
wenzelm@2298
  2960
ENDCHAR
wenzelm@2298
  2961
STARTCHAR copyright
wenzelm@2298
  2962
ENCODING 255
wenzelm@2298
  2963
SWIDTH 666 0
wenzelm@2298
  2964
DWIDTH 9 0
wenzelm@2298
  2965
BBX 9 9 0 0
wenzelm@2298
  2966
BITMAP
wenzelm@2298
  2967
1c00
wenzelm@2298
  2968
2200
wenzelm@2298
  2969
5d00
wenzelm@2298
  2970
a080
wenzelm@2298
  2971
a080
wenzelm@2298
  2972
a080
wenzelm@2298
  2973
5d00
wenzelm@2298
  2974
2200
wenzelm@2298
  2975
1c00
wenzelm@2298
  2976
ENDCHAR
wenzelm@2298
  2977
ENDFONT