Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/xsymbol/xsymb1_14.bdf
author berghofe
Wed, 13 Nov 2002 15:28:41 +0100
changeset 13708 a3a410782c95
parent 10048 eb9983e554fd
permissions -rw-r--r--
prove_goal' -> Goal.simple_prove_goal_cterm
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 changeset 
  1592
 
1c00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1593
 
6300
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1594
 
4100
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1595
 
8080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1596
 
8880
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1597
 
8080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1598
 
4100
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1599
 
6300
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1600
 
1c00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1601
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1602
 
STARTCHAR propersqsuperset
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1603
 
ENCODING 163
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1604
 
SWIDTH 713 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1605
 
DWIDTH 10 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1606
 
BBX 8 7 1 1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1607
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1608
 
ff
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1609
 
01
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1610
 
01
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1611
 
01
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1612
 
01
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1613
 
01
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1614
 
ff
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1615
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1616
 
STARTCHAR reflexsqsuperset
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1617
 
ENCODING 164
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1618
 
SWIDTH 713 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1619
 
DWIDTH 10 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1620
 
BBX 8 9 1 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1621
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1622
 
ff
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1623
 
01
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1624
 
01
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1625
 
01
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1626
 
01
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1627
 
01
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1628
 
ff
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1629
 
00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1630
 
ff
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1631
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1632
 
STARTCHAR gradient1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1633
 
ENCODING 165
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1634
 
SWIDTH 713 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1635
 
DWIDTH 9 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1636
 
BBX 7 7 1 1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1637
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1638
 
fe
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1639
 
82
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1640
 
44
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1641
 
44
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1642
 
28
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1643
 
28
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1644
 
10
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1645
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1646
 
STARTCHAR propersqsubset
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1647
 
ENCODING 166
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1648
 
SWIDTH 713 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1649
 
DWIDTH 10 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1650
 
BBX 8 7 1 1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1651
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1652
 
ff
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1653
 
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1654
 
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1655
 
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1656
 
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1657
 
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1658
 
ff
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1659
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1660
 
STARTCHAR reflexsqsubset
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1661
 
ENCODING 167
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1662
 
SWIDTH 713 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1663
 
DWIDTH 10 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1664
 
BBX 8 9 1 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1665
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1666
 
ff
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1667
 
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1668
 
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1669
 
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1670
 
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1671
 
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1672
 
ff
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1673
 
00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1674
 
ff
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1675
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1676
 
STARTCHAR smllozenge
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1677
 
ENCODING 168
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1678
 
SWIDTH 494 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1679
 
DWIDTH 9 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1680
 
BBX 7 7 1 1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1681
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1682
 
10
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1683
 
28
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1684
 
44
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1685
 
82
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1686
 
44
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1687
 
28
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1688
 
10
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1689
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1690
 
STARTCHAR lessless
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1691
 
ENCODING 169
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1692
 
SWIDTH 549 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1693
 
DWIDTH 12 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1694
 
BBX 10 7 1 1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1695
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1696
 
0440
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1697
 
1980
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1698
 
6600
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1699
 
8800
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1700
 
6600
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1701
 
1980
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1702
 
0440
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1703
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1704
 
STARTCHAR greatergreater
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1705
 
ENCODING 170
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1706
 
SWIDTH 549 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1707
 
DWIDTH 12 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1708
 
BBX 10 7 1 1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1709
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1710
 
8800
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1711
 
6600
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1712
 
1980
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1713
 
0440
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1714
 
1980
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1715
 
6600
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1716
 
8800
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1717
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1718
 
STARTCHAR unionplus
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1719
 
ENCODING 171
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1720
 
SWIDTH 768 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1721
 
DWIDTH 11 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1722
 
BBX 9 8 1 1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1723
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1724
 
8080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1725
 
8880
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1726
 
8880
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1727
 
be80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1728
 
8880
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1729
 
8880
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1730
 
4100
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1731
 
3e00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1732
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1733
 
STARTCHAR sqintersection
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1734
 
ENCODING 172
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1735
 
SWIDTH 768 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1736
 
DWIDTH 11 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1737
 
BBX 9 8 1 1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1738
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1739
 
ff80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1740
 
8080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1741
 
8080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1742
 
8080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1743
 
8080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1744
 
8080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1745
 
8080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1746
 
8080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1747
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1748
 
STARTCHAR squnion
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1749
 
ENCODING 173
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1750
 
SWIDTH 768 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1751
 
DWIDTH 11 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1752
 
BBX 9 8 1 1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1753
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1754
 
8080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1755
 
8080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1756
 
8080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1757
 
8080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1758
 
8080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1759
 
8080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1760
 
8080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1761
 
ff80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1762
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1763
 
STARTCHAR frown
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1764
 
ENCODING 174
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1765
 
SWIDTH 250 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1766
 
DWIDTH 11 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1767
 
BBX 9 3 1 3
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1768
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1769
 
3e00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1770
 
4100
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1771
 
8080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1772
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1773
 
STARTCHAR smile
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1774
 
ENCODING 175
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1775
 
SWIDTH 250 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1776
 
DWIDTH 11 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1777
 
BBX 9 3 1 3
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1778
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1779
 
8080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1780
 
4100
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1781
 
3e00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1782
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1783
 
STARTCHAR reflexprec
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1784
 
ENCODING 176
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1785
 
SWIDTH 549 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1786
 
DWIDTH 9 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1787
 
BBX 7 9 1 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1788
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1789
 
02
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1790
 
02
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1791
 
0c
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1792
 
f0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1793
 
0c
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1794
 
02
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1795
 
02
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1796
 
00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1797
 
fe
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1798
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1799
 
STARTCHAR reflexsucc
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1800
 
ENCODING 177
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1801
 
SWIDTH 549 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1802
 
DWIDTH 9 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1803
 
BBX 7 9 1 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1804
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1805
 
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1806
 
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1807
 
60
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1808
 
1e
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1809
 
60
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1810
 
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1811
 
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1812
 
00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1813
 
fe
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1814
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1815
 
STARTCHAR properprec
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1816
 
ENCODING 178
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1817
 
SWIDTH 549 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1818
 
DWIDTH 9 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1819
 
BBX 7 7 1 1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1820
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1821
 
02
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1822
 
02
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1823
 
0c
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1824
 
f0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1825
 
0c
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1826
 
02
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1827
 
02
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1828
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1829
 
STARTCHAR propersucc
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1830
 
ENCODING 179
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1831
 
SWIDTH 549 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1832
 
DWIDTH 9 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1833
 
BBX 7 7 1 1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1834
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1835
 
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1836
 
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1837
 
60
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1838
 
1e
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1839
 
60
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1840
 
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1841
 
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1842
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1843
 
STARTCHAR bardash
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1844
 
ENCODING 180
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1845
 
SWIDTH 494 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1846
 
DWIDTH 9 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1847
 
BBX 7 9 1 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1848
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1849
 
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1850
 
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1851
 
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1852
 
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1853
 
fe
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1854
 
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1855
 
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1856
 
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1857
 
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1858
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1859
 
STARTCHAR dashbar
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1860
 
ENCODING 181
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1861
 
SWIDTH 494 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1862
 
DWIDTH 9 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1863
 
BBX 7 9 1 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1864
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1865
 
02
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1866
 
02
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1867
 
02
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1868
 
02
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1869
 
fe
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1870
 
02
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1871
 
02
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1872
 
02
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1873
 
02
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1874
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1875
 
STARTCHAR bardashdbl
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1876
 
ENCODING 182
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1877
 
SWIDTH 494 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1878
 
DWIDTH 9 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1879
 
BBX 7 9 1 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1880
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1881
 
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1882
 
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1883
 
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1884
 
fe
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1885
 
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1886
 
fe
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1887
 
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1888
 
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1889
 
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1890
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1891
 
STARTCHAR smlintegral
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1892
 
ENCODING 183
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1893
 
SWIDTH 274 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1894
 
DWIDTH 7 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1895
 
BBX 5 10 1 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1896
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1897
 
18
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1898
 
28
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1899
 
20
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1900
 
20
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1901
 
20
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1902
 
20
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1903
 
20
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1904
 
20
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1905
 
a0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1906
 
c0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1907
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1908
 
STARTCHAR circleintegral
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1909
 
ENCODING 184
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1910
 
SWIDTH 274 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1911
 
DWIDTH 8 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1912
 
BBX 6 13 1 -2
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1913
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1914
 
1c
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1915
 
34
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1916
 
30
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1917
 
30
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1918
 
78
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1919
 
b4
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1920
 
b4
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1921
 
b4
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1922
 
78
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1923
 
30
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1924
 
30
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1925
 
b0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1926
 
e0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1927
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1928
 
STARTCHAR coproduct
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1929
 
ENCODING 185
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1930
 
SWIDTH 823 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1931
 
DWIDTH 12 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1932
 
BBX 10 13 1 -2
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1933
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1934
 
f3c0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1935
 
6180
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1936
 
6180
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1937
 
6180
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1938
 
6180
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1939
 
6180
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1940
 
6180
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1941
 
6180
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1942
 
6180
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1943
 
6180
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1944
 
6180
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1945
 
6180
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1946
 
ffc0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1947
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1948
 
STARTCHAR bigcircledot
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1949
 
ENCODING 186
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1950
 
SWIDTH 768 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1951
 
DWIDTH 13 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1952
 
BBX 11 11 1 -1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1953
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1954
 
1f00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1955
 
3f80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1956
 
71c0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1957
 
e0e0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1958
 
c060
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1959
 
c460
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1960
 
c060
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1961
 
e0e0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1962
 
71c0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1963
 
3f80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1964
 
1f00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1965
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1966
 
STARTCHAR bigcirclemultiply
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1967
 
ENCODING 187
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1968
 
SWIDTH 768 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1969
 
DWIDTH 13 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1970
 
BBX 11 11 1 -1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1971
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1972
 
1f00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1973
 
3f80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1974
 
71c0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1975
 
f1e0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1976
 
ca60
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1977
 
c460
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1978
 
ca60
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1979
 
f1e0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1980
 
71c0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1981
 
3f80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1982
 
1f00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1983
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1984
 
STARTCHAR bigcircleplus
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1985
 
ENCODING 188
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1986
 
SWIDTH 768 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1987
 
DWIDTH 13 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1988
 
BBX 11 11 1 -1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1989
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1990
 
1f00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1991
 
3f80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1992
 
75c0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1993
 
e4e0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1994
 
c460
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1995
 
ffe0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1996
 
c460
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1997
 
e4e0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1998
 
75c0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  1999
 
3f80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2000
 
1f00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2001
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2002
 
STARTCHAR biglogicaland
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2003
 
ENCODING 189
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2004
 
SWIDTH 603 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2005
 
DWIDTH 13 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2006
 
BBX 11 13 1 -2
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2007
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2008
 
0e00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2009
 
0e00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2010
 
1b00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2011
 
1b00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2012
 
1b00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2013
 
3180
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2014
 
3180
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2015
 
3180
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2016
 
60c0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2017
 
60c0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2018
 
60c0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2019
 
c060
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2020
 
c060
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2021
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2022
 
STARTCHAR biglogicalor
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2023
 
ENCODING 190
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2024
 
SWIDTH 603 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2025
 
DWIDTH 13 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2026
 
BBX 11 13 1 -2
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2027
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2028
 
c060
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2029
 
c060
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2030
 
60c0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2031
 
60c0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2032
 
60c0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2033
 
3180
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2034
 
3180
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2035
 
3180
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2036
 
1b00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2037
 
1b00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2038
 
1b00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2039
 
0e00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2040
 
0e00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2041
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2042
 
STARTCHAR bigintersection
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2043
 
ENCODING 191
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2044
 
SWIDTH 603 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2045
 
DWIDTH 13 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2046
 
BBX 11 13 1 -2
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2047
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2048
 
1f00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2049
 
3180
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2050
 
60c0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2051
 
c060
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2052
 
c060
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2053
 
c060
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2054
 
c060
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2055
 
c060
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2056
 
c060
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2057
 
c060
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2058
 
c060
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2059
 
c060
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2060
 
c060
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2061
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2062
 
STARTCHAR bigunion
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2063
 
ENCODING 192
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2064
 
SWIDTH 603 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2065
 
DWIDTH 13 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2066
 
BBX 11 13 1 -2
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2067
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2068
 
c060
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2069
 
c060
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2070
 
c060
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2071
 
c060
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2072
 
c060
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2073
 
c060
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2074
 
c060
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2075
 
c060
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2076
 
c060
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2077
 
c060
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2078
 
60c0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2079
 
3180
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2080
 
1f00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2081
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2082
 
STARTCHAR bigunionplus
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2083
 
ENCODING 193
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2084
 
SWIDTH 603 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2085
 
DWIDTH 13 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2086
 
BBX 11 13 1 -2
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2087
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2088
 
c060
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2089
 
c060
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2090
 
c060
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2091
 
c060
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2092
 
c460
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2093
 
c460
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2094
 
df60
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2095
 
c460
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2096
 
c460
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2097
 
c060
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2098
 
60c0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2099
 
3180
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2100
 
1f00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2101
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2102
 
STARTCHAR bigsqunion
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2103
 
ENCODING 194
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2104
 
SWIDTH 603 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2105
 
DWIDTH 13 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2106
 
BBX 11 13 1 -2
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2107
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2108
 
c060
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2109
 
c060
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2110
 
c060
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2111
 
c060
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2112
 
c060
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2113
 
c060
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2114
 
c060
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2115
 
c060
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2116
 
c060
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2117
 
c060
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2118
 
c060
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2119
 
c060
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2120
 
ffe0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2121
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2122
 
STARTCHAR bigcircle
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2123
 
ENCODING 195
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2124
 
SWIDTH 768 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2125
 
DWIDTH 12 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2126
 
BBX 10 10 1 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2127
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2128
 
3f00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2129
 
6180
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2130
 
c0c0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2131
 
8040
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2132
 
8040
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2133
 
8040
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2134
 
8040
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2135
 
c0c0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2136
 
6180
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2137
 
3f00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2138
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2139
 
STARTCHAR guilsinglleft
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2140
 
ENCODING 196
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2141
 
SWIDTH 250 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2142
 
DWIDTH 5 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2143
 
BBX 3 5 1 2
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2144
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2145
 
20
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2146
 
40
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2147
 
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2148
 
40
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2149
 
20
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2150
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2151
 
STARTCHAR circleminus
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2152
 
ENCODING 197
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2153
 
SWIDTH 768 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2154
 
DWIDTH 11 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2155
 
BBX 9 9 1 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2156
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2157
 
1c00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2158
 
6300
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2159
 
4100
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2160
 
8080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2161
 
ff80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2162
 
8080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2163
 
4100
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2164
 
6300
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2165
 
1c00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2166
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2167
 
STARTCHAR smltriangleleft
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2168
 
ENCODING 198
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2169
 
SWIDTH 713 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2170
 
DWIDTH 9 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2171
 
BBX 7 7 1 1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2172
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2173
 
06
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2174
 
1a
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2175
 
62
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2176
 
c2
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2177
 
62
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2178
 
1a
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2179
 
06
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2180
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2181
 
STARTCHAR perthousand
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2182
 
ENCODING 199
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2183
 
SWIDTH 1000 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2184
 
DWIDTH 13 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2185
 
BBX 11 11 1 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2186
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2187
 
0100
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2188
 
6200
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2189
 
9200
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2190
 
9400
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2191
 
6400
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2192
 
0800
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2193
 
1000
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2194
 
16c0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2195
 
2920
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2196
 
2920
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2197
 
46c0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2198
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2199
 
STARTCHAR existential1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2200
 
ENCODING 200
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2201
 
SWIDTH 549 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2202
 
DWIDTH 8 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2203
 
BBX 6 10 1 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2204
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2205
 
fc
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2206
 
04
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2207
 
04
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2208
 
04
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2209
 
fc
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2210
 
04
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2211
 
04
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2212
 
04
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2213
 
04
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2214
 
fc
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2215
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2216
 
STARTCHAR daggerdbl1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2217
 
ENCODING 201
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2218
 
SWIDTH 250 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2219
 
DWIDTH 7 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2220
 
BBX 5 9 1 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2221
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2222
 
20
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2223
 
f8
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2224
 
20
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2225
 
70
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2226
 
20
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2227
 
70
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2228
 
20
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2229
 
f8
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2230
 
20
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2231
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2232
 
STARTCHAR daggerdbl
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2233
 
ENCODING 202
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2234
 
SWIDTH 250 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2235
 
DWIDTH 7 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2236
 
BBX 5 13 1 -2
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2237
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2238
 
20
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2239
 
a8
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2240
 
f8
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2241
 
20
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2242
 
70
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2243
 
70
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2244
 
20
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2245
 
70
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2246
 
70
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2247
 
20
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2248
 
f8
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2249
 
a8
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2250
 
20
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2251
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2252
 
STARTCHAR bigbowtie
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2253
 
ENCODING 203
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2254
 
SWIDTH 250 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2255
 
DWIDTH 11 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2256
 
BBX 9 9 1 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2257
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2258
 
8080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2259
 
c180
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2260
 
a280
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2261
 
9480
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2262
 
8880
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2263
 
9480
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2264
 
a280
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2265
 
c180
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2266
 
8080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2267
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2268
 
STARTCHAR circ
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2269
 
ENCODING 204
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2270
 
SWIDTH 460 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2271
 
DWIDTH 7 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2272
 
BBX 5 5 1 2
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2273
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2274
 
70
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2275
 
88
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2276
 
88
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2277
 
88
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2278
 
70
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2279
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2280
 
STARTCHAR grave
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2281
 
ENCODING 205
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2282
 
SWIDTH 333 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2283
 
DWIDTH 4 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2284
 
BBX 2 2 1 9
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2285
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2286
 
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2287
 
40
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2288
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2289
 
STARTCHAR circumflex
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2290
 
ENCODING 206
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2291
 
SWIDTH 333 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2292
 
DWIDTH 5 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2293
 
BBX 3 2 1 9
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2294
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2295
 
40
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2296
 
a0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2297
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2298
 
STARTCHAR tilde
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2299
 
ENCODING 207
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2300
 
SWIDTH 333 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2301
 
DWIDTH 7 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2302
 
BBX 5 2 1 9
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2303
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2304
 
68
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2305
 
b0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2306
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2307
 
STARTCHAR longarrowboth
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2308
 
ENCODING 208
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2309
 
SWIDTH 987 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2310
 
DWIDTH 21 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2311
 
BBX 19 7 1 1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2312
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2313
 
100100
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2314
 
200080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2315
 
400040
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2316
 
ffffe0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2317
 
400040
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2318
 
200080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2319
 
100100
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2320
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2321
 
STARTCHAR endash
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2322
 
ENCODING 209
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2323
 
SWIDTH 556 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2324
 
DWIDTH 9 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2325
 
BBX 9 1 0 4
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2326
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2327
 
ff80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2328
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2329
 
STARTCHAR emdash
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2330
 
ENCODING 210
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2331
 
SWIDTH 1000 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2332
 
DWIDTH 16 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2333
 
BBX 16 1 0 4
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2334
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2335
 
ffff
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2336
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2337
 
STARTCHAR Ydiaeresis
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2338
 
ENCODING 211
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2339
 
SWIDTH 667 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2340
 
DWIDTH 9 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2341
 
BBX 9 13 0 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2342
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2343
 
3600
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2344
 
0000
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2345
 
8080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2346
 
4100
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2347
 
4100
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2348
 
2200
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2349
 
2200
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2350
 
1400
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2351
 
0800
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2352
 
0800
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2353
 
0800
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2354
 
0800
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2355
 
0800
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2356
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2357
 
STARTCHAR ampersand2
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2358
 
ENCODING 212
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2359
 
SWIDTH 778 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2360
 
DWIDTH 11 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2361
 
BBX 9 10 1 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2362
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2363
 
3000
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2364
 
4800
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2365
 
4800
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2366
 
7000
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2367
 
2700
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2368
 
7200
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2369
 
ca00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2370
 
8400
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2371
 
ce80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2372
 
7b00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2373
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2374
 
STARTCHAR universal1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2375
 
ENCODING 213
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2376
 
SWIDTH 713 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2377
 
DWIDTH 9 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2378
 
BBX 9 10 0 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2379
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2380
 
8080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2381
 
4100
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2382
 
4100
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2383
 
3e00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2384
 
2200
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2385
 
2200
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2386
 
1400
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2387
 
1400
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2388
 
0800
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2389
 
0800
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2390
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2391
 
STARTCHAR booleans
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2392
 
ENCODING 214
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2393
 
SWIDTH 667 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2394
 
DWIDTH 11 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2395
 
BBX 9 10 1 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2396
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2397
 
ff00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2398
 
5380
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2399
 
5280
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2400
 
5380
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2401
 
5f00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2402
 
5380
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2403
 
5280
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2404
 
5280
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2405
 
5380
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2406
 
ff00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2407
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2408
 
STARTCHAR complexnums
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2409
 
ENCODING 215
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2410
 
SWIDTH 722 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2411
 
DWIDTH 10 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2412
 
BBX 8 10 1 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2413
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2414
 
3d
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2415
 
63
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2416
 
a1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2417
 
a0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2418
 
a0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2419
 
a0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2420
 
a0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2421
 
a1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2422
 
63
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2423
 
3e
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2424
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2425
 
STARTCHAR natnums
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2426
 
ENCODING 216
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2427
 
SWIDTH 722 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2428
 
DWIDTH 11 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2429
 
BBX 9 10 1 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2430
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2431
 
e380
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2432
 
7100
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2433
 
5900
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2434
 
6d00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2435
 
7700
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2436
 
5b00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2437
 
4d00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2438
 
4700
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2439
 
4300
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2440
 
e100
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2441
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2442
 
STARTCHAR rationalnums
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2443
 
ENCODING 217
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2444
 
SWIDTH 722 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2445
 
DWIDTH 11 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2446
 
BBX 9 11 1 -1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2447
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2448
 
3e00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2449
 
6300
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2450
 
a280
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2451
 
a280
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2452
 
a280
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2453
 
a280
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2454
 
a280
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2455
 
a280
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2456
 
6300
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2457
 
3e00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2458
 
0780
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2459
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2460
 
STARTCHAR realnums
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2461
 
ENCODING 218
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2462
 
SWIDTH 667 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2463
 
DWIDTH 11 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2464
 
BBX 9 10 1 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2465
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2466
 
ff00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2467
 
5380
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2468
 
5280
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2469
 
5380
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2470
 
5f00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2471
 
5a00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2472
 
5500
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2473
 
5580
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2474
 
5280
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2475
 
f380
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2476
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2477
 
STARTCHAR integers
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2478
 
ENCODING 219
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2479
 
SWIDTH 611 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2480
 
DWIDTH 10 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2481
 
BBX 8 10 1 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2482
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2483
 
ff
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2484
 
8a
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2485
 
96
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2486
 
34
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2487
 
2c
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2488
 
68
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2489
 
58
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2490
 
d3
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2491
 
a5
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2492
 
ff
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2493
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2494
 
STARTCHAR lesssim
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2495
 
ENCODING 220
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2496
 
SWIDTH 549 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2497
 
DWIDTH 9 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2498
 
BBX 7 10 1 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2499
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2500
 
02
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2501
 
0c
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2502
 
30
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2503
 
c0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2504
 
30
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2505
 
0c
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2506
 
02
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2507
 
00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2508
 
72
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2509
 
9c
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2510
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2511
 
STARTCHAR greatersim
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2512
 
ENCODING 221
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2513
 
SWIDTH 549 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2514
 
DWIDTH 9 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2515
 
BBX 7 10 1 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2516
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2517
 
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2518
 
60
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2519
 
18
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2520
 
06
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2521
 
18
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2522
 
60
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2523
 
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2524
 
00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2525
 
72
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2526
 
9c
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2527
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2528
 
STARTCHAR lessapprox
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2529
 
ENCODING 222
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2530
 
SWIDTH 549 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2531
 
DWIDTH 9 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2532
 
BBX 7 13 1 -2
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2533
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2534
 
02
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2535
 
0c
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2536
 
30
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2537
 
c0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2538
 
30
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2539
 
0c
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2540
 
02
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2541
 
00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2542
 
72
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2543
 
9c
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2544
 
00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2545
 
72
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2546
 
9c
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2547
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2548
 
STARTCHAR greaterapprox
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2549
 
ENCODING 223
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2550
 
SWIDTH 549 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2551
 
DWIDTH 9 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2552
 
BBX 7 13 1 -2
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2553
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2554
 
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2555
 
60
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2556
 
18
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2557
 
06
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2558
 
18
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2559
 
60
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2560
 
80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2561
 
00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2562
 
72
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2563
 
9c
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2564
 
00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2565
 
72
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2566
 
9c
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2567
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2568
 
STARTCHAR definedas
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2569
 
ENCODING 224
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2570
 
SWIDTH 549 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2571
 
DWIDTH 9 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2572
 
BBX 7 7 1 2
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2573
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2574
 
10
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2575
 
28
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2576
 
7c
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2577
 
00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2578
 
fe
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2579
 
00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2580
 
fe
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2581
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2582
 
STARTCHAR circleminus1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2583
 
ENCODING 225
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2584
 
SWIDTH 768 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2585
 
DWIDTH 11 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2586
 
BBX 9 9 1 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2587
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2588
 
1c00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2589
 
6300
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2590
 
4100
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2591
 
8080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2592
 
be80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2593
 
8080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2594
 
4100
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2595
 
6300
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2596
 
1c00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2597
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2598
 
STARTCHAR circleasterisk
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2599
 
ENCODING 226
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2600
 
SWIDTH 768 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2601
 
DWIDTH 11 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2602
 
BBX 9 9 1 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2603
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2604
 
1c00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2605
 
6300
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2606
 
4900
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2607
 
aa80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2608
 
9c80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2609
 
aa80
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2610
 
4900
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2611
 
6300
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2612
 
1c00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2613
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2614
 
STARTCHAR circlecirc
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2615
 
ENCODING 227
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2616
 
SWIDTH 768 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2617
 
DWIDTH 11 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2618
 
BBX 9 9 1 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2619
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2620
 
1c00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2621
 
6300
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2622
 
5d00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2623
 
a280
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2624
 
a280
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2625
 
a280
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2626
 
5d00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2627
 
6300
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2628
 
1c00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2629
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2630
 
STARTCHAR dollar1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2631
 
ENCODING 228
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2632
 
SWIDTH 556 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2633
 
DWIDTH 9 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2634
 
BBX 7 13 1 -2
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2635
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2636
 
28
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2637
 
28
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2638
 
7c
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2639
 
aa
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2640
 
a8
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2641
 
a8
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2642
 
7c
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2643
 
2a
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2644
 
2a
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2645
 
aa
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2646
 
7c
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2647
 
28
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2648
 
28
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2649
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2650
 
STARTCHAR euro
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2651
 
ENCODING 229
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2652
 
SWIDTH 722 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2653
 
DWIDTH 11 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2654
 
BBX 9 11 1 -1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2655
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2656
 
1f00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2657
 
3180
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2658
 
6080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2659
 
4000
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2660
 
ff00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2661
 
4000
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2662
 
fe00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2663
 
4000
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2664
 
6080
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2665
 
3180
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2666
 
1f00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2667
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2668
 
STARTCHAR therefore1
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2669
 
ENCODING 230
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2670
 
SWIDTH 863 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2671
 
DWIDTH 10 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2672
 
BBX 8 7 1 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2673
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2674
 
18
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2675
 
18
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2676
 
00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2677
 
00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2678
 
00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2679
 
c3
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2680
 
c3
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2681
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2682
 
STARTCHAR coloncolon
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2683
 
ENCODING 231
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2684
 
SWIDTH 863 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2685
 
DWIDTH 7 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2686
 
BBX 5 7 1 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2687
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2688
 
d8
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2689
 
d8
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2690
 
00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2691
 
00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2692
 
00
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2693
 
d8
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2694
 
d8
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2695
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2696
 
STARTCHAR bigsqintersection
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2697
 
ENCODING 232
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2698
 
SWIDTH 603 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2699
 
DWIDTH 13 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2700
 
BBX 11 13 1 -2
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2701
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2702
 
ffe0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2703
 
c060
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2704
 
c060
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2705
 
c060
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2706
 
c060
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2707
 
c060
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2708
 
c060
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2709
 
c060
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2710
 
c060
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2711
 
c060
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2712
 
c060
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2713
 
c060
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2714
 
c060
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2715
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2716
 
STARTCHAR semanticsleft
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2717
 
ENCODING 233
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2718
 
SWIDTH 556 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2719
 
DWIDTH 6 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2720
 
BBX 5 13 1 -2
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2721
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2722
 
f8
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2723
 
a0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2724
 
a0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2725
 
a0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2726
 
a0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2727
 
a0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2728
 
a0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2729
 
a0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2730
 
a0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2731
 
a0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2732
 
a0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2733
 
a0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2734
 
f8
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2735
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2736
 
STARTCHAR semanticsright
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2737
 
ENCODING 234
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2738
 
SWIDTH 556 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2739
 
DWIDTH 6 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2740
 
BBX 5 13 0 -2
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2741
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2742
 
f8
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2743
 
28
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2744
 
28
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2745
 
28
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2746
 
28
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2747
 
28
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2748
 
28
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2749
 
28
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2750
 
28
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2751
 
28
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2752
 
28
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2753
 
28
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2754
 
f8
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2755
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2756
 
STARTCHAR doubleparenleft
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2757
 
ENCODING 235
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2758
 
SWIDTH 1000 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2759
 
DWIDTH 6 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2760
 
BBX 4 13 1 -2
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2761
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2762
 
30
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2763
 
50
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2764
 
50
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2765
 
90
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2766
 
90
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2767
 
90
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2768
 
90
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2769
 
90
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2770
 
90
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2771
 
90
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2772
 
50
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2773
 
50
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2774
 
30
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2775
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2776
 
STARTCHAR doubleparenright
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2777
 
ENCODING 236
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2778
 
SWIDTH 1000 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2779
 
DWIDTH 6 0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2780
 
BBX 4 13 1 -2
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2781
 
BITMAP
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2782
 
c0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2783
 
a0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2784
 
a0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2785
 
90
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2786
 
90
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2787
 
90
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2788
 
90
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2789
 
90
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2790
 
90
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2791
 
90
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2792
 
a0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2793
 
a0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2794
 
c0
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2795
 
ENDCHAR
eb9983e554fd *** empty log message ***
wenzelm
parents:
diff changeset 
  2796
 
ENDFONT
isabelle