lib/fonts/Vacuous.sfd
author wenzelm
Wed Nov 07 21:42:16 2018 +0100 (9 months ago)
changeset 69255 800b1ce96fce
parent 67255 f1f983484878
permissions -rw-r--r--
more general support for Isabelle/PIDE file formats -- less hardwired Bibtex operations;
wenzelm@63683
     1
SplineFontDB: 3.0
wenzelm@63683
     2
FontName: Vacuous
wenzelm@63683
     3
FullName: Vacuous
wenzelm@63683
     4
FamilyName: Vacuous
wenzelm@63683
     5
Weight: Medium
wenzelm@63683
     6
Copyright: 
wenzelm@63683
     7
UComments: "2016-8-12: Created." 
wenzelm@63683
     8
Version: 001.000
wenzelm@63683
     9
ItalicAngle: 0
wenzelm@63683
    10
UnderlinePosition: -100
wenzelm@63683
    11
UnderlineWidth: 50
wenzelm@63683
    12
Ascent: 800
wenzelm@63683
    13
Descent: 200
wenzelm@63683
    14
LayerCount: 2
wenzelm@63683
    15
Layer: 0 0 "Back"  1
wenzelm@63683
    16
Layer: 1 0 "Fore"  0
wenzelm@63683
    17
XUID: [1021 906 1711068302 5949507]
wenzelm@63683
    18
FSType: 8
wenzelm@63683
    19
OS2Version: 0
wenzelm@63683
    20
OS2_WeightWidthSlopeOnly: 0
wenzelm@63683
    21
OS2_UseTypoMetrics: 1
wenzelm@63683
    22
CreationTime: 1471028867
wenzelm@67255
    23
ModificationTime: 1513953645
wenzelm@63683
    24
PfmFamily: 17
wenzelm@63683
    25
TTFWeight: 500
wenzelm@63683
    26
TTFWidth: 5
wenzelm@63683
    27
LineGap: 90
wenzelm@63683
    28
VLineGap: 0
wenzelm@63683
    29
OS2TypoAscent: 0
wenzelm@63683
    30
OS2TypoAOffset: 1
wenzelm@63683
    31
OS2TypoDescent: 0
wenzelm@63683
    32
OS2TypoDOffset: 1
wenzelm@63683
    33
OS2TypoLinegap: 90
wenzelm@63683
    34
OS2WinAscent: 0
wenzelm@63683
    35
OS2WinAOffset: 1
wenzelm@63683
    36
OS2WinDescent: 0
wenzelm@63683
    37
OS2WinDOffset: 1
wenzelm@63683
    38
HheadAscent: 0
wenzelm@63683
    39
HheadAOffset: 1
wenzelm@63683
    40
HheadDescent: 0
wenzelm@63683
    41
HheadDOffset: 1
wenzelm@63683
    42
OS2Vendor: 'PfEd'
wenzelm@63683
    43
MarkAttachClasses: 1
wenzelm@63683
    44
DEI: 91125
wenzelm@63683
    45
LangName: 1033 
wenzelm@63683
    46
Encoding: UnicodeFull
wenzelm@63683
    47
UnicodeInterp: none
wenzelm@63683
    48
NameList: Adobe Glyph List
wenzelm@63683
    49
DisplaySize: -96
wenzelm@63683
    50
AntiAlias: 1
wenzelm@63683
    51
FitToEm: 1
wenzelm@67255
    52
WinInfo: 0 20 14
wenzelm@63683
    53
BeginPrivate: 0
wenzelm@63683
    54
EndPrivate
wenzelm@63683
    55
TeXData: 1 0 0 346030 173015 115343 0 1048576 115343 783286 444596 497025 792723 393216 433062 380633 303038 157286 324010 404750 52429 2506097 1059062 262144
wenzelm@67255
    56
BeginChars: 1114112 11
wenzelm@63683
    57
wenzelm@63683
    58
StartChar: uni2759
wenzelm@63683
    59
Encoding: 10073 10073 0
wenzelm@63683
    60
Width: 44
wenzelm@63683
    61
VWidth: 1670
wenzelm@63683
    62
Flags: HW
wenzelm@63683
    63
LayerCount: 2
wenzelm@63683
    64
Fore
wenzelm@63683
    65
SplineSet
wenzelm@63683
    66
33.4502 5 m 128
wenzelm@63683
    67
 33.4502 1.7998 32.2998 -0.966797 30 -3.2998 c 128
wenzelm@63683
    68
 27.7002 -5.63379 24.9336 -6.7998 21.7002 -6.7998 c 128
wenzelm@63683
    69
 18.4668 -6.7998 15.7002 -5.63379 13.4004 -3.2998 c 128
wenzelm@63683
    70
 11.1006 -0.966797 9.9502 1.7998 9.9502 5 c 128
wenzelm@63683
    71
 9.9502 8.2002 11.1006 10.9668 13.4004 13.2998 c 128
wenzelm@63683
    72
 15.7002 15.6328 18.4668 16.7998 21.7002 16.7998 c 128
wenzelm@63683
    73
 24.9336 16.7998 27.7002 15.6328 30 13.2998 c 128
wenzelm@63683
    74
 32.2998 10.9668 33.4502 8.2002 33.4502 5 c 128
wenzelm@63683
    75
EndSplineSet
wenzelm@63683
    76
EndChar
wenzelm@63683
    77
wenzelm@63683
    78
StartChar: uni21E9
wenzelm@63683
    79
Encoding: 8681 8681 1
wenzelm@63683
    80
Width: 44
wenzelm@63683
    81
VWidth: 1670
wenzelm@63683
    82
Flags: HW
wenzelm@63683
    83
LayerCount: 2
wenzelm@63683
    84
Fore
wenzelm@63683
    85
SplineSet
wenzelm@63683
    86
33.4502 5 m 128
wenzelm@63683
    87
 33.4502 1.7998 32.2998 -0.966797 30 -3.2998 c 128
wenzelm@63683
    88
 27.7002 -5.63379 24.9336 -6.7998 21.7002 -6.7998 c 128
wenzelm@63683
    89
 18.4668 -6.7998 15.7002 -5.63379 13.4004 -3.2998 c 128
wenzelm@63683
    90
 11.1006 -0.966797 9.9502 1.7998 9.9502 5 c 128
wenzelm@63683
    91
 9.9502 8.2002 11.1006 10.9668 13.4004 13.2998 c 128
wenzelm@63683
    92
 15.7002 15.6328 18.4668 16.7998 21.7002 16.7998 c 128
wenzelm@63683
    93
 24.9336 16.7998 27.7002 15.6328 30 13.2998 c 128
wenzelm@63683
    94
 32.2998 10.9668 33.4502 8.2002 33.4502 5 c 128
wenzelm@63683
    95
EndSplineSet
wenzelm@63683
    96
EndChar
wenzelm@63683
    97
wenzelm@63683
    98
StartChar: uni21E7
wenzelm@63683
    99
Encoding: 8679 8679 2
wenzelm@63683
   100
Width: 44
wenzelm@63683
   101
VWidth: 1670
wenzelm@63683
   102
Flags: HW
wenzelm@63683
   103
LayerCount: 2
wenzelm@63683
   104
Fore
wenzelm@63683
   105
SplineSet
wenzelm@63683
   106
33.4502 5 m 128
wenzelm@63683
   107
 33.4502 1.7998 32.2998 -0.966797 30 -3.2998 c 128
wenzelm@63683
   108
 27.7002 -5.63379 24.9336 -6.7998 21.7002 -6.7998 c 128
wenzelm@63683
   109
 18.4668 -6.7998 15.7002 -5.63379 13.4004 -3.2998 c 128
wenzelm@63683
   110
 11.1006 -0.966797 9.9502 1.7998 9.9502 5 c 128
wenzelm@63683
   111
 9.9502 8.2002 11.1006 10.9668 13.4004 13.2998 c 128
wenzelm@63683
   112
 15.7002 15.6328 18.4668 16.7998 21.7002 16.7998 c 128
wenzelm@63683
   113
 24.9336 16.7998 27.7002 15.6328 30 13.2998 c 128
wenzelm@63683
   114
 32.2998 10.9668 33.4502 8.2002 33.4502 5 c 128
wenzelm@63683
   115
EndSplineSet
wenzelm@63683
   116
EndChar
wenzelm@63683
   117
wenzelm@63683
   118
StartChar: uni21D6
wenzelm@63683
   119
Encoding: 8662 8662 3
wenzelm@63683
   120
Width: 44
wenzelm@63683
   121
VWidth: 1670
wenzelm@63683
   122
Flags: HW
wenzelm@63683
   123
LayerCount: 2
wenzelm@63683
   124
Fore
wenzelm@63683
   125
SplineSet
wenzelm@63683
   126
33.4502 5 m 128
wenzelm@63683
   127
 33.4502 1.7998 32.2998 -0.966797 30 -3.2998 c 128
wenzelm@63683
   128
 27.7002 -5.63379 24.9336 -6.7998 21.7002 -6.7998 c 128
wenzelm@63683
   129
 18.4668 -6.7998 15.7002 -5.63379 13.4004 -3.2998 c 128
wenzelm@63683
   130
 11.1006 -0.966797 9.9502 1.7998 9.9502 5 c 128
wenzelm@63683
   131
 9.9502 8.2002 11.1006 10.9668 13.4004 13.2998 c 128
wenzelm@63683
   132
 15.7002 15.6328 18.4668 16.7998 21.7002 16.7998 c 128
wenzelm@63683
   133
 24.9336 16.7998 27.7002 15.6328 30 13.2998 c 128
wenzelm@63683
   134
 32.2998 10.9668 33.4502 8.2002 33.4502 5 c 128
wenzelm@63683
   135
EndSplineSet
wenzelm@63683
   136
EndChar
wenzelm@63683
   137
wenzelm@63683
   138
StartChar: uni21D7
wenzelm@63683
   139
Encoding: 8663 8663 4
wenzelm@63683
   140
Width: 44
wenzelm@63683
   141
VWidth: 1670
wenzelm@63683
   142
Flags: HW
wenzelm@63683
   143
LayerCount: 2
wenzelm@63683
   144
Fore
wenzelm@63683
   145
SplineSet
wenzelm@63683
   146
33.4502 5 m 128
wenzelm@63683
   147
 33.4502 1.7998 32.2998 -0.966797 30 -3.2998 c 128
wenzelm@63683
   148
 27.7002 -5.63379 24.9336 -6.7998 21.7002 -6.7998 c 128
wenzelm@63683
   149
 18.4668 -6.7998 15.7002 -5.63379 13.4004 -3.2998 c 128
wenzelm@63683
   150
 11.1006 -0.966797 9.9502 1.7998 9.9502 5 c 128
wenzelm@63683
   151
 9.9502 8.2002 11.1006 10.9668 13.4004 13.2998 c 128
wenzelm@63683
   152
 15.7002 15.6328 18.4668 16.7998 21.7002 16.7998 c 128
wenzelm@63683
   153
 24.9336 16.7998 27.7002 15.6328 30 13.2998 c 128
wenzelm@63683
   154
 32.2998 10.9668 33.4502 8.2002 33.4502 5 c 128
wenzelm@63683
   155
EndSplineSet
wenzelm@63683
   156
EndChar
wenzelm@63683
   157
wenzelm@63683
   158
StartChar: uni21D8
wenzelm@63683
   159
Encoding: 8664 8664 5
wenzelm@63683
   160
Width: 44
wenzelm@63683
   161
VWidth: 1670
wenzelm@63683
   162
Flags: HW
wenzelm@63683
   163
LayerCount: 2
wenzelm@63683
   164
Fore
wenzelm@63683
   165
SplineSet
wenzelm@63683
   166
33.4502 5 m 128
wenzelm@63683
   167
 33.4502 1.7998 32.2998 -0.966797 30 -3.2998 c 128
wenzelm@63683
   168
 27.7002 -5.63379 24.9336 -6.7998 21.7002 -6.7998 c 128
wenzelm@63683
   169
 18.4668 -6.7998 15.7002 -5.63379 13.4004 -3.2998 c 128
wenzelm@63683
   170
 11.1006 -0.966797 9.9502 1.7998 9.9502 5 c 128
wenzelm@63683
   171
 9.9502 8.2002 11.1006 10.9668 13.4004 13.2998 c 128
wenzelm@63683
   172
 15.7002 15.6328 18.4668 16.7998 21.7002 16.7998 c 128
wenzelm@63683
   173
 24.9336 16.7998 27.7002 15.6328 30 13.2998 c 128
wenzelm@63683
   174
 32.2998 10.9668 33.4502 8.2002 33.4502 5 c 128
wenzelm@63683
   175
EndSplineSet
wenzelm@63683
   176
EndChar
wenzelm@63683
   177
wenzelm@63683
   178
StartChar: uni21D9
wenzelm@63683
   179
Encoding: 8665 8665 6
wenzelm@63683
   180
Width: 44
wenzelm@63683
   181
VWidth: 1670
wenzelm@63683
   182
Flags: HW
wenzelm@63683
   183
LayerCount: 2
wenzelm@63683
   184
Fore
wenzelm@63683
   185
SplineSet
wenzelm@63683
   186
33.4502 5 m 128
wenzelm@63683
   187
 33.4502 1.7998 32.2998 -0.966797 30 -3.2998 c 128
wenzelm@63683
   188
 27.7002 -5.63379 24.9336 -6.7998 21.7002 -6.7998 c 128
wenzelm@63683
   189
 18.4668 -6.7998 15.7002 -5.63379 13.4004 -3.2998 c 128
wenzelm@63683
   190
 11.1006 -0.966797 9.9502 1.7998 9.9502 5 c 128
wenzelm@63683
   191
 9.9502 8.2002 11.1006 10.9668 13.4004 13.2998 c 128
wenzelm@63683
   192
 15.7002 15.6328 18.4668 16.7998 21.7002 16.7998 c 128
wenzelm@63683
   193
 24.9336 16.7998 27.7002 15.6328 30 13.2998 c 128
wenzelm@63683
   194
 32.2998 10.9668 33.4502 8.2002 33.4502 5 c 128
wenzelm@63683
   195
EndSplineSet
wenzelm@63683
   196
EndChar
wenzelm@67255
   197
wenzelm@67255
   198
StartChar: backslash
wenzelm@67255
   199
Encoding: 92 92 7
wenzelm@67255
   200
Width: 44
wenzelm@67255
   201
VWidth: 1670
wenzelm@67255
   202
Flags: HW
wenzelm@67255
   203
LayerCount: 2
wenzelm@67255
   204
Fore
wenzelm@67255
   205
SplineSet
wenzelm@67255
   206
33.4502 5 m 128
wenzelm@67255
   207
 33.4502 1.7998 32.2998 -0.966797 30 -3.2998 c 128
wenzelm@67255
   208
 27.7002 -5.63379 24.9336 -6.7998 21.7002 -6.7998 c 128
wenzelm@67255
   209
 18.4668 -6.7998 15.7002 -5.63379 13.4004 -3.2998 c 128
wenzelm@67255
   210
 11.1006 -0.966797 9.9502 1.7998 9.9502 5 c 128
wenzelm@67255
   211
 9.9502 8.2002 11.1006 10.9668 13.4004 13.2998 c 128
wenzelm@67255
   212
 15.7002 15.6328 18.4668 16.7998 21.7002 16.7998 c 128
wenzelm@67255
   213
 24.9336 16.7998 27.7002 15.6328 30 13.2998 c 128
wenzelm@67255
   214
 32.2998 10.9668 33.4502 8.2002 33.4502 5 c 128
wenzelm@67255
   215
EndSplineSet
wenzelm@67255
   216
EndChar
wenzelm@67255
   217
wenzelm@67255
   218
StartChar: less
wenzelm@67255
   219
Encoding: 60 60 8
wenzelm@67255
   220
Width: 44
wenzelm@67255
   221
VWidth: 1670
wenzelm@67255
   222
Flags: HW
wenzelm@67255
   223
LayerCount: 2
wenzelm@67255
   224
Fore
wenzelm@67255
   225
SplineSet
wenzelm@67255
   226
33.4502 5 m 128
wenzelm@67255
   227
 33.4502 1.7998 32.2998 -0.966797 30 -3.2998 c 128
wenzelm@67255
   228
 27.7002 -5.63379 24.9336 -6.7998 21.7002 -6.7998 c 128
wenzelm@67255
   229
 18.4668 -6.7998 15.7002 -5.63379 13.4004 -3.2998 c 128
wenzelm@67255
   230
 11.1006 -0.966797 9.9502 1.7998 9.9502 5 c 128
wenzelm@67255
   231
 9.9502 8.2002 11.1006 10.9668 13.4004 13.2998 c 128
wenzelm@67255
   232
 15.7002 15.6328 18.4668 16.7998 21.7002 16.7998 c 128
wenzelm@67255
   233
 24.9336 16.7998 27.7002 15.6328 30 13.2998 c 128
wenzelm@67255
   234
 32.2998 10.9668 33.4502 8.2002 33.4502 5 c 128
wenzelm@67255
   235
EndSplineSet
wenzelm@67255
   236
EndChar
wenzelm@67255
   237
wenzelm@67255
   238
StartChar: greater
wenzelm@67255
   239
Encoding: 62 62 9
wenzelm@67255
   240
Width: 44
wenzelm@67255
   241
VWidth: 1670
wenzelm@67255
   242
Flags: HW
wenzelm@67255
   243
LayerCount: 2
wenzelm@67255
   244
Fore
wenzelm@67255
   245
SplineSet
wenzelm@67255
   246
33.4502 5 m 128
wenzelm@67255
   247
 33.4502 1.7998 32.2998 -0.966797 30 -3.2998 c 128
wenzelm@67255
   248
 27.7002 -5.63379 24.9336 -6.7998 21.7002 -6.7998 c 128
wenzelm@67255
   249
 18.4668 -6.7998 15.7002 -5.63379 13.4004 -3.2998 c 128
wenzelm@67255
   250
 11.1006 -0.966797 9.9502 1.7998 9.9502 5 c 128
wenzelm@67255
   251
 9.9502 8.2002 11.1006 10.9668 13.4004 13.2998 c 128
wenzelm@67255
   252
 15.7002 15.6328 18.4668 16.7998 21.7002 16.7998 c 128
wenzelm@67255
   253
 24.9336 16.7998 27.7002 15.6328 30 13.2998 c 128
wenzelm@67255
   254
 32.2998 10.9668 33.4502 8.2002 33.4502 5 c 128
wenzelm@67255
   255
EndSplineSet
wenzelm@67255
   256
EndChar
wenzelm@67255
   257
wenzelm@67255
   258
StartChar: asciicircum
wenzelm@67255
   259
Encoding: 94 94 10
wenzelm@67255
   260
Width: 44
wenzelm@67255
   261
VWidth: 1670
wenzelm@67255
   262
Flags: HW
wenzelm@67255
   263
LayerCount: 2
wenzelm@67255
   264
Fore
wenzelm@67255
   265
SplineSet
wenzelm@67255
   266
33.4502 5 m 128
wenzelm@67255
   267
 33.4502 1.7998 32.2998 -0.966797 30 -3.2998 c 128
wenzelm@67255
   268
 27.7002 -5.63379 24.9336 -6.7998 21.7002 -6.7998 c 128
wenzelm@67255
   269
 18.4668 -6.7998 15.7002 -5.63379 13.4004 -3.2998 c 128
wenzelm@67255
   270
 11.1006 -0.966797 9.9502 1.7998 9.9502 5 c 128
wenzelm@67255
   271
 9.9502 8.2002 11.1006 10.9668 13.4004 13.2998 c 128
wenzelm@67255
   272
 15.7002 15.6328 18.4668 16.7998 21.7002 16.7998 c 128
wenzelm@67255
   273
 24.9336 16.7998 27.7002 15.6328 30 13.2998 c 128
wenzelm@67255
   274
 32.2998 10.9668 33.4502 8.2002 33.4502 5 c 128
wenzelm@67255
   275
EndSplineSet
wenzelm@67255
   276
EndChar
wenzelm@63683
   277
EndChars
wenzelm@63683
   278
EndSplineFont