lib/fonts/IsabelleMonoBold.sfd
author wenzelm
Sat, 10 Jan 2009 21:32:30 +0100
changeset 29435 a5f84ac14609
parent 29085 29de5c277f2a
permissions -rw-r--r--
added parallel_proofs flag (default true, cf. usedir option -Q), which can be disabled in low-memory situations;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
29083
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
     1
SplineFontDB: 2.0
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
     2
FontName: IsabelleMonoBold
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
     3
FullName: IsabelleMonoBold
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
     4
FamilyName: IsabelleMono
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
     5
Weight: Bold
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
     6
Copyright: 
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
     7
Version: 
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
     8
ItalicAngle: 0
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
     9
UnderlinePosition: -344
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    10
UnderlineWidth: 246
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    11
Ascent: 1556
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    12
Descent: 492
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    13
Order2: 1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    14
NeedsXUIDChange: 1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    15
XUID: [1021 906 1711068302 8128416]
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    16
FSType: 4
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    17
OS2Version: 1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    18
OS2_WeightWidthSlopeOnly: 0
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    19
OS2_UseTypoMetrics: 1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    20
CreationTime: 1050374980
29085
29de5c277f2a replaced single quote by mathematical prime;
wenzelm
parents: 29083
diff changeset
    21
ModificationTime: 1220730795
29083
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    22
PfmFamily: 17
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    23
TTFWeight: 700
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    24
TTFWidth: 5
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    25
LineGap: 0
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    26
VLineGap: 0
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    27
Panose: 2 11 7 9 3 6 4 2 2 4
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    28
OS2TypoAscent: 0
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    29
OS2TypoAOffset: 1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    30
OS2TypoDescent: 0
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    31
OS2TypoDOffset: 1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    32
OS2TypoLinegap: 410
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    33
OS2WinAscent: 0
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    34
OS2WinAOffset: 1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    35
OS2WinDescent: 0
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    36
OS2WinDOffset: 1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    37
HheadAscent: 0
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    38
HheadAOffset: 1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    39
HheadDescent: 0
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    40
HheadDOffset: 1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    41
OS2SubXSize: 1351
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    42
OS2SubYSize: 1228
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    43
OS2SubXOff: 0
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    44
OS2SubYOff: -446
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    45
OS2SupXSize: 1351
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    46
OS2SupYSize: 1228
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    47
OS2SupXOff: 0
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    48
OS2SupYOff: 595
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    49
OS2StrikeYSize: 246
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    50
OS2StrikeYPos: 614
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    51
OS2FamilyClass: 2050
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    52
OS2Vendor: 'Bits'
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    53
OS2CodePages: 00000001.00000000
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    54
OS2UnicodeRanges: 800000af.1000204a.00000000.00000000
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    55
DEI: 0
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    56
TtfTable: prep 1272
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    57
\,q1GFM@_V]=S0V]*#V?"1S+/[^AU/[^uXL7g$+R"1+9qZ8)NeA-9'%"0\j@"g;\DXqLo='*G<7
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    58
"0/=0"fhD$W=8s.Vi1eXrWB+7"K/,""fI:]VgnoIV'ZAC=TbNd"JmFIV#CIk1'=6c"/2AX"eknt
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    59
Tt(-M5lUt[T0WXR7g#AL".l&="eKK3SMC;;rWAYd".K&gRJm;U&d+IH"-sc+PPtZIrWA;^"-EKa
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    60
O(Ak+O*q+jN>)PV('BPT&-\%-",mcnMe4"6M_YBl$j2?B]*4&j",M_<"c0bmLk#V`L*["Y>m#jI
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    61
"GS3)KnKs?Kc'uG%g.HM"+pLSJRoArJMI=XIhN!9A-7;p"+HO<I:NG-;ZhAY*X-mG"+"Mi"aVp+
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    62
Go-X.Af_,#A-7&T"*XYGFE7lpEt&4lE@qE8rW@-m")qin"`SklD\rRoD7]shrW@"R>m5)W")WPk
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    63
ChY1!Cg@-Z5Qkk<");Nr"_tXOBgD\E"))9f"__EKB4`1gB4M*VAIo#W*Wosb"(_B5A,ZR>rW?SW
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    64
"(;*1?=X.C>8.6GrW?@="'RG^=Y16i=V_*A('@V<&d;A9"'./Z<W3)";[Wb.&-Gi="&_u3"]CWg
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    65
;,@f-;&071&-G`-"&;R$"\t?c9k4?"rW>gm"%l,u"\P'_8J;1sq?'7a"%I\@777dm7=>8+'*CT=
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    66
"$mD!5;E=)&Hb0Y%L##p"$AXQ"[!7s3su-O3>Vi[Q30-,$O&O,"$(l73"#gJ5Qj#((^2iW"#__D
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    67
"Z@2"2)H-R2+n$.1DC!L(]uQ."#;SJ"YsTj0eF"A0c1!H0,Qqi"Y`=H0,OdD/J84>*WmuF&Hsa!
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    68
""h"a5X5VY/1V57/.ht8\,lXq#m;b.%L"?n""Uk^^d&2/.L$4`.LlP1\,h+F<s0sF""4Z^-VFOg
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    69
,T$\3,Qf><(^23Y"!djZ"XFoe,8:5(*#&Q#1'8[B1^,$d"!@RV"X#W(*ubmt*uY5&)\`GsrW=/\
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    70
'EoL4!ur!W)]B@n)\`An\,q1G#m;.a&Hs'd!ueZN5X5VY)$g`V)%crg\,lXq<s0?S!uFT4('"sN
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    71
(7#%;2ZjaQ!tt\V"V^_7&i'P$&2FD$q?%9/&d8h%!tPlD"V6"`%KI+F%TifB#S.(J*WlfY%g<@_
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    72
!t,VA$31\B#R:bA#S."C\,jB1#m:J;$3^YC!sc=:J3XDD"pG;:"ptG:\,ek%"9f)6"h4R55T'\-
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    73
Q3.3j%0ZhT!s/o6!<<`9!?M=C&d&0E!G$nD!@oZN.k<,#.k<,#.k<,#.k<,#.k<,#.k<,#.k<,#
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    74
.k<,#.k<,#.k<,#.k<,#.k<,#.k<,#.k<,#.k<,#.k<,#.k<,#.k<,#.k<,#.k<,#.k<,#.k<,#
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    75
.k<,#.k<,#.k<,#.k<,#.k<,#.k<,#.k<,#.k<,#.k<,#.k<,#.k<,#.k<,#.k<,#.k<,#.k<,#
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    76
.k<,#.k<+M.k<,#.k<,#.k<,#.k<,#.k<,#.k<,#.k<,#.k<,#.k<,#.k<,#.k<,#.k<,#.k<,#
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    77
.k<,#.k<,#.k<,#.k<,#.k<,#.k<,#.k<,#.k<,#.k<,#.k<,#.k<,#.k<,#.k<,#.k<,#.k<,#
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    78
.k<,#.k<,#.k<+j
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    79
EndTtf
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    80
TtfTable: fpgm 139
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    81
[KZm<!s/K'/0GM.![UEKYWu&f+NR\//M++-,tVXO5Z(W+aB9Z</0GK/+KtiBYRPk#\GuS*=9KQH
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    82
=g/&LYQH0WYQQ6si?5?):p:CS+LqIO:fmi>"^/&5*3]Mk#iR?d92J_5YeW[q=Wo@JYQ?+>?plRt
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    83
92ers![Y&P,t14)+X&Eg778^-
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    84
EndTtf
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    85
TtfTable: cvt  386
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    86
!Aaa$!NlH_!4Dk/!!3-%!!3/g!DWW"!.+h&!@%Um!@%U_!@%UN!*fX8!@%Th!*fL*!!3-%!*fMJ
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    87
";q<S!@%V$!/U\b!@%UD!@%SL!!3.0!!3-%!!3-%":P9>!1!`r"5s5h!/1EK"3gq#!!3-%!:U&N
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    88
!mLe-!!30$!29Gp!.t9S!4i0-!13c!!3cIq!@7`?!5eg`!AOSG!A=Hu!:Tsi!A=K(!=Aif!+H&T
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    89
!)`g*!29Ih!6"s=!Mf`#!-88C"k<Uj!9!q,!:C$@"df:a"k<e,"n2M3!<`B&!$)9R"r%:e!:Bl+
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    90
!;Z[r!>5D/!5S["!b;C<".TB_!58YL!h'2."CM@?"CM@Z!!!#e!aGeR!h',J"CM81!8dtp!29IG
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    91
!1En+!!399!6kU)"AAgj!7:cH!!!!H!!3/#"#U7A"cW\F"cWO/!=/\S"k<Z;!.+^?!2Kef!074M
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    92
!'L;^!$M?g#GMD4!A=\-"muB<!-8,?'EA+5
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    93
EndTtf
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    94
TtfTable: maxp 32
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    95
!!*'"!=]$'!!`Km!!E9'!"],q!!`K("0Vk&!!<3%
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    96
EndTtf
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    97
LangName: 1033 "" "" "" "" "" "Release 1.10" "" "Bitstream Vera is a trademark of Bitstream, Inc." "Bitstream Inc." "" "" "http://www.bitstream.com" "" "Copyright (c) 2003 by Bitstream, Inc.+AA0ACgAA-All Rights Reserved.+AA0ACgAA-Bitstream Vera is a trademark of Bitstream, Inc.+AA0ACgANAAoA-Permission is hereby granted, free of charge, to any person obtaining a copy of the fonts accompanying this license (+ACIA-Fonts+ACIA) and associated documentation files (the +ACIA-Font Software+ACIA), to reproduce and distribute the Font Software, including without limitation the rights to use, copy, merge, publish, distribute, and/or sell copies of the Font Software, and to permit persons to whom the Font Software is furnished to do so, subject to the following conditions:+AA0ACgANAAoA-The above copyright and trademark notices and this permission notice shall be included in all copies of one or more of the Font Software typefaces.+AA0ACgANAAoA-The Font Software may be modified, altered, or added to, and in particular the designs of glyphs or characters in the Fonts may be modified and additional glyphs or characters may be added to the Fonts, only if the fonts are renamed to names not containing either the words +ACIA-Bitstream+ACIA or the word +ACIA-Vera+ACIA.+AA0ACgANAAoA-This License becomes null and void to the extent applicable to Fonts or Font Software that has been modified and is distributed under the +ACIA-Bitstream Vera+ACIA names.+AA0ACgANAAoA-The Font Software may be sold as part of a larger software package but no copy of one or more of the Font Software typefaces may be sold by itself.+AA0ACgANAAoA-THE FONT SOFTWARE IS PROVIDED +ACIA-AS IS+ACIA, WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO ANY WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT OF COPYRIGHT, PATENT, TRADEMARK, OR OTHER RIGHT. IN NO EVENT SHALL BITSTREAM OR THE GNOME FOUNDATION BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, INCLUDING ANY GENERAL, SPECIAL, INDIRECT, INCIDENTAL, OR CONSEQUENTIAL DAMAGES, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF THE USE OR INABILITY TO USE THE FONT SOFTWARE OR FROM OTHER DEALINGS IN THE FONT SOFTWARE.+AA0ACgANAAoA-Except as contained in this notice, the names of Gnome, the Gnome Foundation, and Bitstream Inc., shall not be used in advertising or otherwise to promote the sale, use or other dealings in this Font Software without prior written authorization from the Gnome Foundation or Bitstream Inc., respectively. For further information, contact: fonts at gnome dot org." 
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    98
GaspTable: 2 8 2 65535 3
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
    99
Encoding: UnicodeFull
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   100
UnicodeInterp: none
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   101
NameList: Adobe Glyph List
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   102
DisplaySize: -48
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   103
AntiAlias: 1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   104
FitToEm: 1
29085
29de5c277f2a replaced single quote by mathematical prime;
wenzelm
parents: 29083
diff changeset
   105
WinInfo: 0 16 14
29083
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   106
TeXData: 1 0 0 631296 315648 210432 573440 -1048576 210432 783286 444596 497025 792723 393216 433062 380633 303038 157286 324010 404750 52429 2506097 1059062 262144
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   107
BeginChars: 1114112 626
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   108
StartChar: u10000
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   109
Encoding: 65536 65536 0
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   110
Width: 1233
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   111
Flags: W
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   112
TtfInstrs: 26
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   113
5R[e0!!^.<#R+Z="9:*neEemi&Cg'rlnAD>
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   114
EndTtf
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   115
Fore
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   116
104 -362 m 1,0,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   117
 104 1444 l 1,1,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   118
 1128 1444 l 1,2,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   119
 1128 -362 l 1,3,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   120
 104 -362 l 1,0,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   121
219 -248 m 1,4,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   122
 1014 -248 l 1,5,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   123
 1014 1329 l 1,6,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   124
 219 1329 l 1,7,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   125
 219 -248 l 1,4,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   126
EndSplineSet
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   127
EndChar
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   128
StartChar: u10001
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   129
Encoding: 65537 65537 1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   130
Width: 0
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   131
Flags: W
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   132
EndChar
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   133
StartChar: u10002
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   134
Encoding: 65538 65538 2
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   135
Width: 1233
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   136
Flags: W
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   137
EndChar
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   138
StartChar: space
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   139
Encoding: 32 32 3
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   140
Width: 1233
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   141
Flags: W
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   142
EndChar
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   143
StartChar: exclam
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   144
Encoding: 33 33 4
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   145
Width: 614
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   146
VWidth: 2220
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   147
Flags: W
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   148
HStem: 0 235.32<276.39 340.77> 415.14 46.62<295.26 319.68> 1545.12 44.4<279.72 337.44>
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   149
VStem: 190.92 235.32<85.47 149.85 1476.3 1512.93>
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   150
Fore
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   151
426.24 1476.3 m 2,0,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   152
 339.66 463.98 l 2,1,2
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   153
 337.987 435.531 337.987 435.531 331.567 425.335 c 128,-1,3
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   154
 325.148 415.14 325.148 415.14 308.58 415.14 c 0,4,5
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   155
 290.194 415.14 290.194 415.14 284.807 426.273 c 128,-1,6
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   156
 279.419 437.406 279.419 437.406 277.5 466.2 c 2,7,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   157
 190.92 1476.3 l 2,8,9
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   158
 190.92 1528.31 190.92 1528.31 226.404 1558.92 c 128,-1,10
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   159
 261.888 1589.52 261.888 1589.52 308.58 1589.52 c 128,-1,11
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   160
 355.273 1589.52 355.273 1589.52 390.756 1558.92 c 128,-1,12
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   161
 426.24 1528.31 426.24 1528.31 426.24 1476.3 c 2,0,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   162
426.24 117.66 m 128,-1,14
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   163
 426.24 69.3752 426.24 69.3752 391.553 34.6876 c 128,-1,15
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   164
 356.865 0 356.865 0 308.58 0 c 128,-1,16
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   165
 260.295 0 260.295 0 225.608 34.6876 c 128,-1,17
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   166
 190.92 69.3752 190.92 69.3752 190.92 117.66 c 128,-1,18
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   167
 190.92 165.945 190.92 165.945 225.608 200.633 c 128,-1,19
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   168
 260.295 235.32 260.295 235.32 308.58 235.32 c 128,-1,20
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   169
 356.865 235.32 356.865 235.32 391.553 200.633 c 128,-1,13
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   170
 426.24 165.945 426.24 165.945 426.24 117.66 c 128,-1,14
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   171
EndSplineSet
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   172
EndChar
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   173
StartChar: quotedbl
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   174
Encoding: 34 34 5
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   175
Width: 1233
29085
29de5c277f2a replaced single quote by mathematical prime;
wenzelm
parents: 29083
diff changeset
   176
Flags: W
29083
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   177
Fore
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   178
895 1493 m 1,0,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   179
 895 938 l 1,1,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   180
 721 938 l 1,2,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   181
 721 1493 l 1,3,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   182
 895 1493 l 1,0,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   183
512 1493 m 1,4,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   184
 512 938 l 1,5,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   185
 338 938 l 1,6,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   186
 338 1493 l 1,7,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   187
 512 1493 l 1,4,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   188
EndSplineSet
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   189
EndChar
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   190
StartChar: numbersign
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   191
Encoding: 35 35 6
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   192
Width: 1849
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   193
VWidth: 2220
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   194
Flags: W
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   195
HStem: -430.68 46.62<402.93 432.9 911.31 941.28> 295.26 88.8<182.04 579.42 199.8 552.78 670.44 1061.16 199.8 643.8 1178.82 1647.24 1647.24 1649.46> 725.94 88.8<197.58 199.8 199.8 668.22 197.58 759.24 785.88 1176.6 1294.26 1647.24> 1496.28 44.4<905.76 935.73 1414.14 1444.11>
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   196
VStem: 124.32 1598.4<317.46 361.86 748.14 792.54>
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   197
Fore
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   198
1152.18 295.26 m 1,0,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   199
 972.36 -377.4 l 2,1,2
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   200
 968.668 -390.94 968.668 -390.94 966.597 -396.758 c 128,-1,3
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   201
 964.527 -402.575 964.527 -402.575 959.08 -412.467 c 128,-1,4
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   202
 953.633 -422.359 953.633 -422.359 944.882 -426.519 c 128,-1,5
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   203
 936.132 -430.68 936.132 -430.68 923.52 -430.68 c 0,6,7
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   204
 905.205 -430.68 905.205 -430.68 892.162 -417.637 c 128,-1,8
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   205
 879.12 -404.595 879.12 -404.595 879.12 -386.28 c 0,9,10
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   206
 879.12 -380.096 879.12 -380.096 882.624 -365.081 c 128,-1,11
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   207
 886.127 -350.066 886.127 -350.066 888 -346.32 c 2,12,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   208
 1061.16 295.26 l 1,13,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   209
 643.8 295.26 l 1,14,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   210
 463.98 -377.4 l 2,15,16
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   211
 460.288 -390.94 460.288 -390.94 458.217 -396.758 c 128,-1,17
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   212
 456.147 -402.575 456.147 -402.575 450.7 -412.467 c 128,-1,18
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   213
 445.253 -422.359 445.253 -422.359 436.502 -426.519 c 128,-1,19
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   214
 427.752 -430.68 427.752 -430.68 415.14 -430.68 c 0,20,21
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   215
 396.825 -430.68 396.825 -430.68 383.782 -417.637 c 128,-1,22
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   216
 370.74 -404.595 370.74 -404.595 370.74 -386.28 c 0,23,24
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   217
 370.74 -380.096 370.74 -380.096 374.244 -365.081 c 128,-1,25
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   218
 377.747 -350.066 377.747 -350.066 379.62 -346.32 c 2,26,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   219
 552.78 295.26 l 1,27,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   220
 197.58 295.26 l 2,28,29
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   221
 181.346 295.26 181.346 295.26 172.258 296.109 c 128,-1,30
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   222
 163.17 296.958 163.17 296.958 150.058 300.654 c 128,-1,31
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   223
 136.946 304.351 136.946 304.351 130.633 314.147 c 128,-1,32
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   224
 124.32 323.942 124.32 323.942 124.32 339.66 c 0,33,34
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   225
 124.32 352.411 124.32 352.411 129.409 361.278 c 128,-1,35
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   226
 134.497 370.145 134.497 370.145 140.864 374.518 c 128,-1,36
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   227
 147.231 378.891 147.231 378.891 159.281 381.169 c 128,-1,37
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   228
 171.331 383.447 171.331 383.447 178.728 383.753 c 128,-1,38
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   229
 186.125 384.06 186.125 384.06 199.8 384.06 c 2,39,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   230
 579.42 384.06 l 1,40,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   231
 668.22 725.94 l 1,41,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   232
 199.8 725.94 l 2,42,43
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   233
 186.125 725.94 186.125 725.94 178.728 726.247 c 128,-1,44
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   234
 171.33 726.553 171.33 726.553 159.281 728.831 c 128,-1,45
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   235
 147.231 731.109 147.231 731.109 140.864 735.482 c 128,-1,46
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   236
 134.497 739.855 134.497 739.855 129.408 748.722 c 128,-1,47
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   237
 124.32 757.589 124.32 757.589 124.32 770.34 c 0,48,49
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   238
 124.32 786.058 124.32 786.058 130.633 795.853 c 128,-1,50
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   239
 136.946 805.649 136.946 805.649 150.058 809.346 c 128,-1,51
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   240
 163.17 813.042 163.17 813.042 172.258 813.891 c 128,-1,52
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   241
 181.346 814.74 181.346 814.74 197.58 814.74 c 2,53,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   242
 694.86 814.74 l 1,54,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   243
 874.68 1487.4 l 2,55,56
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   244
 878.372 1500.94 878.372 1500.94 880.443 1506.76 c 128,-1,57
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   245
 882.513 1512.58 882.513 1512.58 887.96 1522.47 c 128,-1,58
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   246
 893.407 1532.36 893.407 1532.36 902.157 1536.52 c 128,-1,59
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   247
 910.908 1540.68 910.908 1540.68 923.52 1540.68 c 0,60,61
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   248
 941.835 1540.68 941.835 1540.68 954.878 1527.64 c 128,-1,62
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   249
 967.92 1514.6 967.92 1514.6 967.92 1496.28 c 0,63,64
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   250
 967.92 1490.1 967.92 1490.1 964.416 1475.08 c 128,-1,65
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   251
 960.913 1460.07 960.913 1460.07 959.04 1456.32 c 2,66,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   252
 785.88 814.74 l 1,67,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   253
 1203.24 814.74 l 1,68,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   254
 1383.06 1487.4 l 2,69,70
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   255
 1386.75 1500.94 1386.75 1500.94 1388.82 1506.76 c 128,-1,71
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   256
 1390.89 1512.58 1390.89 1512.58 1396.34 1522.47 c 128,-1,72
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   257
 1401.79 1532.36 1401.79 1532.36 1410.54 1536.52 c 128,-1,73
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   258
 1419.29 1540.68 1419.29 1540.68 1431.9 1540.68 c 0,74,75
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   259
 1450.22 1540.68 1450.22 1540.68 1463.26 1527.64 c 128,-1,76
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   260
 1476.3 1514.6 1476.3 1514.6 1476.3 1496.28 c 0,77,78
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   261
 1476.3 1490.1 1476.3 1490.1 1472.8 1475.08 c 128,-1,79
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   262
 1469.29 1460.07 1469.29 1460.07 1467.42 1456.32 c 2,80,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   263
 1294.26 814.74 l 1,81,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   264
 1649.46 814.74 l 2,82,83
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   265
 1665.69 814.74 1665.69 814.74 1674.78 813.891 c 128,-1,84
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   266
 1683.87 813.042 1683.87 813.042 1696.98 809.346 c 128,-1,85
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   267
 1710.09 805.649 1710.09 805.649 1716.41 795.853 c 128,-1,86
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   268
 1722.72 786.058 1722.72 786.058 1722.72 770.34 c 0,87,88
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   269
 1722.72 757.589 1722.72 757.589 1717.63 748.722 c 128,-1,89
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   270
 1712.54 739.855 1712.54 739.855 1706.18 735.482 c 128,-1,90
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   271
 1699.81 731.109 1699.81 731.109 1687.76 728.831 c 128,-1,91
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   272
 1675.71 726.553 1675.71 726.553 1668.31 726.247 c 128,-1,92
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   273
 1660.91 725.94 1660.91 725.94 1647.24 725.94 c 2,93,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   274
 1267.62 725.94 l 1,94,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   275
 1178.82 384.06 l 1,95,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   276
 1647.24 384.06 l 2,96,97
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   277
 1660.92 384.06 1660.92 384.06 1668.31 383.753 c 128,-1,98
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   278
 1675.71 383.447 1675.71 383.447 1687.76 381.169 c 128,-1,99
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   279
 1699.81 378.891 1699.81 378.891 1706.18 374.518 c 128,-1,100
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   280
 1712.54 370.145 1712.54 370.145 1717.63 361.278 c 128,-1,101
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   281
 1722.72 352.411 1722.72 352.411 1722.72 339.66 c 0,102,103
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   282
 1722.72 323.942 1722.72 323.942 1716.41 314.147 c 128,-1,104
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   283
 1710.09 304.351 1710.09 304.351 1696.98 300.654 c 128,-1,105
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   284
 1683.87 296.958 1683.87 296.958 1674.78 296.109 c 128,-1,106
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   285
 1665.69 295.26 1665.69 295.26 1649.46 295.26 c 2,107,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   286
 1152.18 295.26 l 1,0,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   287
670.44 384.06 m 1,108,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   288
 1087.8 384.06 l 1,109,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   289
 1176.6 725.94 l 1,110,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   290
 759.24 725.94 l 1,111,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   291
 670.44 384.06 l 1,108,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   292
EndSplineSet
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   293
EndChar
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   294
StartChar: dollar
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   295
Encoding: 36 36 7
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   296
Width: 1110
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   297
VWidth: 2220
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   298
Flags: W
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   299
HStem: -124.32 46.62<519.48 588.3 519.48 519.48> -22.2 68.82<588.3 588.3> 304.14 204.24<222 254.19 219.78 256.41> 1063.38 204.24<858.03 884.67> 1494.06 66.6 1620.6 44.4<519.48 588.3 588.3 588.3>
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   300
VStem: 124.32 113.22<1183.26 1239.87> 124.32 204.24<376.29 437.34 376.29 449.55> 519.48 68.82<-124.32 -24.42 -24.42 -24.42 46.62 690.42 912.42 1494.06 1565.1 1665> 779.22 204.24<1131.09 1196.58> 870.24 113.22<318.57 392.94>
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   301
Fore
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   302
588.3 690.42 m 1,0,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   303
 588.3 46.6201 l 1,1,2
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   304
 673.002 57.342 673.002 57.342 738.42 105.867 c 128,-1,3
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   305
 803.839 154.392 803.839 154.392 837.04 222.693 c 128,-1,4
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   306
 870.24 290.995 870.24 290.995 870.24 366.3 c 0,5,6
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   307
 870.24 381.638 870.24 381.638 868.772 398.364 c 128,-1,7
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   308
 867.304 415.09 867.304 415.09 860.776 443.902 c 128,-1,8
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   309
 854.249 472.715 854.249 472.715 843.323 499.008 c 128,-1,9
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   310
 832.398 525.302 832.398 525.302 810.94 556.08 c 128,-1,10
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   311
 789.482 586.859 789.482 586.859 760.866 611.458 c 128,-1,11
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   312
 732.25 636.058 732.25 636.058 687.629 657.54 c 128,-1,12
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   313
 643.008 679.022 643.008 679.022 588.3 690.42 c 1,0,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   314
519.48 708.18 m 1,13,14
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   315
 472.923 720.047 472.923 720.047 454.189 725.16 c 128,-1,15
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   316
 435.455 730.273 435.455 730.273 400.263 742.242 c 128,-1,16
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   317
 365.071 754.21 365.071 754.21 344.858 765.76 c 128,-1,17
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   318
 324.645 777.309 324.645 777.309 297.859 796.694 c 128,-1,18
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   319
 271.072 816.079 271.072 816.079 246.42 841.38 c 0,19,20
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   320
 228.525 858.281 228.525 858.281 209.999 883.296 c 128,-1,21
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   321
 191.473 908.31 191.473 908.31 170.87 945.776 c 128,-1,22
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   322
 150.268 983.242 150.268 983.242 137.294 1034.12 c 128,-1,23
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   323
 124.32 1084.99 124.32 1084.99 124.32 1138.86 c 0,24,25
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   324
 124.32 1214.92 124.32 1214.92 151.868 1287.31 c 128,-1,26
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   325
 179.417 1359.7 179.417 1359.7 229.035 1418.21 c 128,-1,27
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   326
 278.654 1476.72 278.654 1476.72 354.235 1515.76 c 128,-1,28
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   327
 429.816 1554.8 429.816 1554.8 519.48 1562.88 c 1,29,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   328
 519.48 1665 l 1,30,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   329
 588.3 1665 l 1,31,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   330
 588.3 1565.1 l 1,32,33
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   331
 771.538 1555.28 771.538 1555.28 877.499 1447.15 c 128,-1,34
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   332
 983.46 1339.02 983.46 1339.02 983.46 1174.38 c 0,35,36
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   333
 983.46 1143.85 983.46 1143.85 973.12 1121.27 c 128,-1,37
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   334
 962.78 1098.7 962.78 1098.7 949.791 1088.1 c 128,-1,38
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   335
 936.801 1077.51 936.801 1077.51 919.805 1071.33 c 128,-1,39
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   336
 902.808 1065.16 902.808 1065.16 894.877 1064.27 c 128,-1,40
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   337
 886.945 1063.38 886.945 1063.38 881.34 1063.38 c 0,41,42
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   338
 842.189 1063.38 842.189 1063.38 810.705 1090.43 c 128,-1,43
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   339
 779.22 1117.48 779.22 1117.48 779.22 1165.5 c 0,44,45
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   340
 779.22 1211.35 779.22 1211.35 808.236 1239.48 c 128,-1,46
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   341
 837.252 1267.62 837.252 1267.62 881.34 1267.62 c 0,47,48
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   342
 899.104 1267.62 899.104 1267.62 916.86 1263.18 c 1,49,50
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   343
 890.44 1361.82 890.44 1361.82 807.093 1424.75 c 128,-1,51
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   344
 723.746 1487.69 723.746 1487.69 588.3 1494.06 c 1,52,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   345
 588.3 894.66 l 1,53,54
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   346
 639.915 881.756 639.915 881.756 665.933 873.894 c 128,-1,55
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   347
 691.95 866.031 691.95 866.031 730.447 849.867 c 128,-1,56
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   348
 768.945 833.702 768.945 833.702 800.243 809.653 c 128,-1,57
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   349
 831.541 785.603 831.541 785.603 863.58 750.36 c 0,58,59
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   350
 876.11 737.83 876.11 737.83 891.58 716.537 c 128,-1,60
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   351
 907.049 695.245 907.049 695.245 930.173 654.937 c 128,-1,61
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   352
 953.296 614.629 953.296 614.629 968.378 555.726 c 128,-1,62
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   353
 983.46 496.824 983.46 496.824 983.46 432.9 c 0,63,64
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   354
 983.46 318.895 983.46 318.895 933.957 218.629 c 128,-1,65
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   355
 884.455 118.362 884.455 118.362 793.203 52.9518 c 128,-1,66
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   356
 701.951 -12.4585 701.951 -12.4585 588.3 -22.2002 c 1,67,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   357
 588.3 -124.32 l 1,68,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   358
 519.48 -124.32 l 1,69,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   359
 519.48 -24.4199 l 1,70,71
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   360
 438.779 -19.2551 438.779 -19.2551 372.121 7.13136 c 128,-1,72
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   361
 305.463 33.5178 305.463 33.5178 260.207 73.9785 c 128,-1,73
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   362
 214.95 114.439 214.95 114.439 183.794 167.291 c 128,-1,74
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   363
 152.639 220.143 152.639 220.143 138.479 277.295 c 128,-1,75
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   364
 124.32 334.447 124.32 334.447 124.32 395.16 c 0,76,77
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   365
 124.32 425.782 124.32 425.782 133.982 448.505 c 128,-1,78
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   366
 143.643 471.228 143.643 471.228 156.111 482.208 c 128,-1,79
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   367
 168.578 493.188 168.578 493.188 185.059 499.654 c 128,-1,80
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   368
 201.541 506.119 201.541 506.119 210.385 507.25 c 128,-1,81
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   369
 219.23 508.38 219.23 508.38 226.44 508.38 c 0,82,83
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   370
 269.262 508.38 269.262 508.38 298.911 480.058 c 128,-1,84
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   371
 328.56 451.737 328.56 451.737 328.56 406.26 c 0,85,86
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   372
 328.56 361.305 328.56 361.305 299.977 332.722 c 128,-1,87
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   373
 271.395 304.14 271.395 304.14 226.44 304.14 c 0,88,89
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   374
 208.684 304.14 208.684 304.14 190.92 308.58 c 1,90,91
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   375
 214.025 198.387 214.025 198.387 297.011 126.466 c 128,-1,92
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   376
 379.996 54.5451 379.996 54.5451 519.48 46.6201 c 1,93,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   377
 519.48 708.18 l 1,13,14
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   378
519.48 912.42 m 1,94,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   379
 519.48 1494.06 l 1,95,96
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   380
 434.047 1485.52 434.047 1485.52 368.437 1441.3 c 128,-1,97
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   381
 302.826 1397.07 302.826 1397.07 270.183 1335.19 c 128,-1,98
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   382
 237.54 1273.3 237.54 1273.3 237.54 1205.46 c 0,99,100
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   383
 237.54 1191.67 237.54 1191.67 238.654 1178 c 128,-1,101
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   384
 239.768 1164.33 239.768 1164.33 245.843 1138.32 c 128,-1,102
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   385
 251.919 1112.32 251.919 1112.32 262.355 1089.38 c 128,-1,103
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   386
 272.792 1066.44 272.792 1066.44 294.049 1038.29 c 128,-1,104
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   387
 315.306 1010.14 315.306 1010.14 343.997 987.711 c 128,-1,105
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   388
 372.688 965.283 372.688 965.283 418.059 944.776 c 128,-1,106
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   389
 463.429 924.268 463.429 924.268 519.48 912.42 c 1,94,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   390
EndSplineSet
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   391
EndChar
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   392
StartChar: percent
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   393
Encoding: 37 37 8
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   394
Width: 1849
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   395
VWidth: 2220
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   396
Flags: W
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   397
HStem: -124.32 48.84<1414.14 1494.06> 721.5 48.84<1413.03 1495.17> 770.34 48.84<430.68 510.6> 1374.18 48.84<987.9 1106.67> 1616.16 48.84<429.57 486.18>
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   398
VStem: 124.32 137.64<1084.47 1348.65> 683.76 55.5<1098.9 1232.1> 1107.78 137.64<189.81 453.99> 1667.22 55.5<204.24 440.67>
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   399
Fore
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   400
1520.7 1580.64 m 2,0,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   401
 397.38 -91.0195 l 2,1,2
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   402
 392.166 -98.3191 392.166 -98.3191 388.074 -103.86 c 128,-1,3
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   403
 383.981 -109.402 383.981 -109.402 380.472 -113.291 c 128,-1,4
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   404
 376.963 -117.181 376.963 -117.181 373.084 -119.632 c 128,-1,5
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   405
 369.205 -122.083 369.205 -122.083 364.418 -123.201 c 128,-1,6
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   406
 359.63 -124.32 359.63 -124.32 352.98 -124.32 c 0,7,8
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   407
 335.948 -124.32 335.948 -124.32 322.264 -111.093 c 128,-1,9
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   408
 308.58 -97.8649 308.58 -97.8649 308.58 -79.9199 c 0,10,11
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   409
 308.58 -64.3799 308.58 -64.3799 328.56 -35.5195 c 2,12,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   410
 1325.34 1449.66 l 1,13,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   411
 1323.12 1451.88 l 1,14,15
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   412
 1312.86 1445.04 1312.86 1445.04 1293.39 1435.41 c 128,-1,16
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   413
 1273.93 1425.78 1273.93 1425.78 1235.46 1410.28 c 128,-1,17
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   414
 1197 1394.79 1197 1394.79 1141.6 1384.49 c 128,-1,18
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   415
 1086.2 1374.18 1086.2 1374.18 1027.86 1374.18 c 0,19,20
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   416
 856.442 1374.18 856.442 1374.18 692.64 1467.42 c 1,21,22
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   417
 739.26 1351.98 739.26 1351.98 739.26 1216.56 c 0,23,24
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   418
 739.26 1094.03 739.26 1094.03 701.205 991.492 c 128,-1,25
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   419
 663.149 888.955 663.149 888.955 596.755 829.648 c 128,-1,26
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   420
 530.361 770.34 530.361 770.34 450.66 770.34 c 0,27,28
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   421
 388.323 770.34 388.323 770.34 329.444 803.135 c 128,-1,29
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   422
 270.565 835.93 270.565 835.93 225.036 893.326 c 128,-1,30
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   423
 179.507 950.723 179.507 950.723 151.914 1035.89 c 128,-1,31
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   424
 124.32 1121.05 124.32 1121.05 124.32 1218.78 c 0,32,33
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   425
 124.32 1313.52 124.32 1313.52 151.657 1397.64 c 128,-1,34
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   426
 178.995 1481.75 178.995 1481.75 224.148 1539.74 c 128,-1,35
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   427
 269.301 1597.72 269.301 1597.72 328.564 1631.36 c 128,-1,36
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   428
 387.827 1665 387.827 1665 450.66 1665 c 0,37,38
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   429
 499.122 1665 499.122 1665 535.867 1646.43 c 128,-1,39
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   430
 572.612 1627.86 572.612 1627.86 610.5 1593.96 c 0,40,41
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   431
 791.301 1423.02 791.301 1423.02 1025.64 1423.02 c 0,42,43
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   432
 1292.37 1423.02 1292.37 1423.02 1447.44 1633.92 c 0,44,45
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   433
 1451.64 1638.64 1451.64 1638.64 1455.27 1643.12 c 128,-1,46
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   434
 1458.91 1647.59 1458.91 1647.59 1463.21 1651.57 c 128,-1,47
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   435
 1467.52 1655.55 1467.52 1655.55 1471.9 1658.54 c 128,-1,48
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   436
 1476.27 1661.52 1476.27 1661.52 1481.97 1663.26 c 128,-1,49
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   437
 1487.66 1665 1487.66 1665 1494.06 1665 c 0,50,51
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   438
 1512.38 1665 1512.38 1665 1525.42 1651.96 c 128,-1,52
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   439
 1538.46 1638.91 1538.46 1638.91 1538.46 1620.6 c 0,53,54
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   440
 1538.46 1607.28 1538.46 1607.28 1520.7 1580.64 c 2,0,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   441
452.88 819.18 m 0,55,56
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   442
 543.583 819.18 543.583 819.18 613.671 932.4 c 128,-1,57
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   443
 683.76 1045.62 683.76 1045.62 683.76 1218.78 c 0,58,59
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   444
 683.76 1303.65 683.76 1303.65 664.195 1378.79 c 128,-1,60
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   445
 644.63 1453.92 644.63 1453.92 612.478 1505.31 c 128,-1,61
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   446
 580.326 1556.69 580.326 1556.69 538.557 1586.43 c 128,-1,62
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   447
 496.789 1616.16 496.789 1616.16 452.88 1616.16 c 0,63,64
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   448
 440.367 1616.16 440.367 1616.16 427.444 1613.71 c 128,-1,65
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   449
 414.521 1611.25 414.521 1611.25 394.823 1601.57 c 128,-1,66
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   450
 375.125 1591.88 375.125 1591.88 357.983 1575.84 c 128,-1,67
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   451
 340.842 1559.81 340.842 1559.81 322.605 1529.26 c 128,-1,68
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   452
 304.368 1498.7 304.368 1498.7 291.474 1458.14 c 128,-1,69
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   453
 278.58 1417.58 278.58 1417.58 270.27 1355.2 c 128,-1,70
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   454
 261.96 1292.83 261.96 1292.83 261.96 1216.56 c 0,71,72
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   455
 261.96 1140.78 261.96 1140.78 270.383 1078.74 c 128,-1,73
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   456
 278.806 1016.7 278.806 1016.7 291.866 976.391 c 128,-1,74
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   457
 304.926 936.082 304.926 936.082 323.301 905.671 c 128,-1,75
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   458
 341.675 875.26 341.675 875.26 358.919 859.32 c 128,-1,76
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   459
 376.163 843.38 376.163 843.38 395.79 833.725 c 128,-1,77
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   460
 415.418 824.07 415.418 824.07 428.147 821.625 c 128,-1,78
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   461
 440.876 819.18 440.876 819.18 452.88 819.18 c 0,55,56
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   462
1436.34 -75.4805 m 0,79,80
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   463
 1527.04 -75.4805 1527.04 -75.4805 1597.13 37.7398 c 128,-1,81
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   464
 1667.22 150.96 1667.22 150.96 1667.22 324.12 c 0,82,83
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   465
 1667.22 408.99 1667.22 408.99 1647.66 484.126 c 128,-1,84
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   466
 1628.09 559.262 1628.09 559.262 1595.94 610.646 c 128,-1,85
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   467
 1563.79 662.031 1563.79 662.031 1522.02 691.765 c 128,-1,86
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   468
 1480.25 721.5 1480.25 721.5 1436.34 721.5 c 0,87,88
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   469
 1423.83 721.5 1423.83 721.5 1410.9 719.047 c 128,-1,89
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   470
 1397.98 716.594 1397.98 716.594 1378.28 706.905 c 128,-1,90
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   471
 1358.58 697.217 1358.58 697.217 1341.44 681.184 c 128,-1,91
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   472
 1324.3 665.151 1324.3 665.151 1306.06 634.596 c 128,-1,92
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   473
 1287.83 604.042 1287.83 604.042 1274.93 563.479 c 128,-1,93
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   474
 1262.04 522.915 1262.04 522.915 1253.73 460.544 c 128,-1,94
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   475
 1245.42 398.172 1245.42 398.172 1245.42 321.9 c 0,95,96
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   476
 1245.42 246.122 1245.42 246.122 1253.84 184.081 c 128,-1,97
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   477
 1262.27 122.039 1262.27 122.039 1275.33 81.7307 c 128,-1,98
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   478
 1288.39 41.4221 1288.39 41.4221 1306.76 11.0108 c 128,-1,99
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   479
 1325.14 -19.4006 1325.14 -19.4006 1342.38 -35.3406 c 128,-1,100
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   480
 1359.62 -51.2807 1359.62 -51.2807 1379.25 -60.9356 c 128,-1,101
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   481
 1398.88 -70.5905 1398.88 -70.5905 1411.61 -73.0355 c 128,-1,102
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   482
 1424.34 -75.4805 1424.34 -75.4805 1436.34 -75.4805 c 0,79,80
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   483
1722.72 321.9 m 0,103,104
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   484
 1722.72 199.369 1722.72 199.369 1684.66 96.8321 c 128,-1,105
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   485
 1646.61 -5.70465 1646.61 -5.70465 1580.22 -65.0125 c 128,-1,106
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   486
 1513.82 -124.32 1513.82 -124.32 1434.12 -124.32 c 0,107,108
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   487
 1371.78 -124.32 1371.78 -124.32 1312.9 -91.5251 c 128,-1,109
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   488
 1254.03 -58.7299 1254.03 -58.7299 1208.5 -1.33373 c 128,-1,110
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   489
 1162.97 56.0625 1162.97 56.0625 1135.37 141.228 c 128,-1,111
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   490
 1107.78 226.394 1107.78 226.394 1107.78 324.12 c 0,112,113
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   491
 1107.78 418.857 1107.78 418.857 1135.12 502.976 c 128,-1,114
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   492
 1162.45 587.094 1162.45 587.094 1207.61 645.077 c 128,-1,115
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   493
 1252.76 703.06 1252.76 703.06 1312.02 736.7 c 128,-1,116
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   494
 1371.29 770.34 1371.29 770.34 1434.12 770.34 c 0,117,118
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   495
 1512.14 770.34 1512.14 770.34 1578.31 712.082 c 128,-1,119
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   496
 1644.49 653.825 1644.49 653.825 1683.61 550.358 c 128,-1,120
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   497
 1722.72 446.89 1722.72 446.89 1722.72 321.9 c 0,103,104
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   498
EndSplineSet
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   499
EndChar
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   500
StartChar: ampersand
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   501
Encoding: 38 38 9
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   502
Width: 1724
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   503
VWidth: 2220
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   504
Flags: W
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   505
HStem: -48.84 68.82<420.69 543.9 1236.54 1346.43> 888 68.82<1127.76 1127.76 1613.94 1613.94> 1540.68 48.84<629.37 734.82>
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   506
VStem: 93.24 184.26<295.26 344.1> 361.86 139.86<1248.75 1349.76> 801.42 55.5<1232.1 1307.58> 1538.46 62.16
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   507
Fore
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   508
1545.12 268.62 m 1,0,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   509
 1600.62 268.62 l 1,1,2
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   510
 1597.35 128.136 1597.35 128.136 1507.09 39.6481 c 128,-1,3
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   511
 1416.84 -48.8398 1416.84 -48.8398 1287.6 -48.8398 c 0,4,5
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   512
 1090.91 -48.8398 1090.91 -48.8398 896.88 119.88 c 1,6,7
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   513
 707.709 -48.8398 707.709 -48.8398 495.06 -48.8398 c 0,8,9
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   514
 385.922 -48.8398 385.922 -48.8398 294.061 -6.36538 c 128,-1,10
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   515
 202.199 36.1091 202.199 36.1091 147.72 112.925 c 128,-1,11
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   516
 93.2402 189.741 93.2402 189.741 93.2402 284.16 c 0,12,13
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   517
 93.2402 319.439 93.2402 319.439 100.996 350.661 c 128,-1,14
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   518
 108.753 381.883 108.753 381.883 118.997 404.832 c 128,-1,15
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   519
 129.241 427.781 129.241 427.781 153.175 458.216 c 128,-1,16
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   520
 177.109 488.65 177.109 488.65 195.152 508.124 c 128,-1,17
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   521
 213.195 527.597 213.195 527.597 250.86 566.1 c 2,18,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   522
 452.88 781.44 l 1,19,20
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   523
 361.86 1012.89 361.86 1012.89 361.86 1232.1 c 0,21,22
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   524
 361.86 1316.63 361.86 1316.63 389.458 1386.6 c 128,-1,23
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   525
 417.055 1456.58 417.055 1456.58 461.427 1499.67 c 128,-1,24
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   526
 505.799 1542.77 505.799 1542.77 558.316 1566.15 c 128,-1,25
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   527
 610.833 1589.52 610.833 1589.52 663.78 1589.52 c 0,26,27
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   528
 708.823 1589.52 708.823 1589.52 744.156 1569.23 c 128,-1,28
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   529
 779.489 1548.95 779.489 1548.95 800.094 1518.43 c 128,-1,29
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   530
 820.7 1487.91 820.7 1487.91 834.092 1447.76 c 128,-1,30
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   531
 847.484 1407.61 847.484 1407.61 852.202 1372.44 c 128,-1,31
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   532
 856.92 1337.28 856.92 1337.28 856.92 1303.14 c 0,32,33
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   533
 856.92 1267.79 856.92 1267.79 846.189 1229.54 c 128,-1,34
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   534
 835.458 1191.29 835.458 1191.29 812.336 1150.11 c 128,-1,35
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   535
 789.213 1108.93 789.213 1108.93 767.461 1075.17 c 128,-1,36
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   536
 745.71 1041.42 745.71 1041.42 708.571 996.356 c 128,-1,37
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   537
 671.433 951.296 671.433 951.296 648.774 925.24 c 128,-1,38
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   538
 626.115 899.183 626.115 899.183 586.08 854.7 c 1,39,40
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   539
 619.872 766.381 619.872 766.381 679.125 661.699 c 128,-1,41
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   540
 738.379 557.017 738.379 557.017 797.834 472.444 c 128,-1,42
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   541
 857.288 387.871 857.288 387.871 896.893 335.359 c 128,-1,43
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   542
 936.498 282.846 936.498 282.846 954.6 261.96 c 1,44,45
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   543
 1097.56 438.164 1097.56 438.164 1272.06 745.92 c 1,46,47
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   544
 1272.37 746.862 1272.37 746.862 1276.21 754.548 c 128,-1,48
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   545
 1280.04 762.234 1280.04 762.234 1282.71 771.332 c 128,-1,49
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   546
 1285.38 780.43 1285.38 780.43 1285.38 790.32 c 0,50,51
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   547
 1285.38 833.385 1285.38 833.385 1243.77 860.692 c 128,-1,52
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   548
 1202.16 888 1202.16 888 1127.76 888 c 1,53,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   549
 1127.76 956.82 l 1,54,55
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   550
 1217.66 950.16 1217.66 950.16 1398.6 950.16 c 0,56,57
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   551
 1490.74 950.16 1490.74 950.16 1613.94 956.82 c 1,58,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   552
 1613.94 888 l 1,59,60
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   553
 1581.2 887.632 1581.2 887.632 1553.16 884.047 c 128,-1,61
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   554
 1525.12 880.461 1525.12 880.461 1502.74 875.838 c 128,-1,62
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   555
 1480.36 871.215 1480.36 871.215 1459.36 860.44 c 128,-1,63
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   556
 1438.36 849.664 1438.36 849.664 1423.45 841.323 c 128,-1,64
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   557
 1408.53 832.982 1408.53 832.982 1391.43 815.126 c 128,-1,65
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   558
 1374.34 797.27 1374.34 797.27 1363.74 785.32 c 128,-1,66
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   559
 1353.14 773.371 1353.14 773.371 1336.81 748.544 c 128,-1,67
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   560
 1320.47 723.717 1320.47 723.717 1311.05 708.269 c 128,-1,68
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   561
 1301.63 692.82 1301.63 692.82 1283.16 661.56 c 0,69,70
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   562
 1218.89 551.175 1218.89 551.175 1181.82 489.882 c 128,-1,71
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   563
 1144.75 428.59 1144.75 428.59 1091.46 350.757 c 128,-1,72
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   564
 1038.17 272.924 1038.17 272.924 990.12 217.56 c 1,73,74
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   565
 1156.5 19.9805 1156.5 19.9805 1296.48 19.9805 c 0,75,76
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   566
 1335.97 19.9805 1335.97 19.9805 1376.9 34.707 c 128,-1,77
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   567
 1417.82 49.4335 1417.82 49.4335 1455.41 77.9935 c 128,-1,78
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   568
 1492.99 106.553 1492.99 106.553 1517.87 156.321 c 128,-1,79
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   569
 1542.75 206.089 1542.75 206.089 1545.12 268.62 c 1,0,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   570
568.32 907.98 m 1,80,81
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   571
 801.42 1160.51 801.42 1160.51 801.42 1305.36 c 0,82,83
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   572
 801.42 1311.25 801.42 1311.25 801.128 1320.15 c 128,-1,84
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   573
 800.835 1329.05 800.835 1329.05 798.217 1353.6 c 128,-1,85
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   574
 795.599 1378.15 795.599 1378.15 791.031 1400.2 c 128,-1,86
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   575
 786.462 1422.25 786.462 1422.25 776.47 1449.1 c 128,-1,87
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   576
 766.478 1475.96 766.478 1475.96 752.974 1495.16 c 128,-1,88
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   577
 739.469 1514.36 739.469 1514.36 717.443 1527.52 c 128,-1,89
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   578
 695.416 1540.68 695.416 1540.68 668.22 1540.68 c 0,90,91
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   579
 637.604 1540.68 637.604 1540.68 609.178 1526.16 c 128,-1,92
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   580
 580.752 1511.64 580.752 1511.64 556.078 1482.36 c 128,-1,93
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   581
 531.405 1453.07 531.405 1453.07 516.562 1401.56 c 128,-1,94
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   582
 501.72 1350.05 501.72 1350.05 501.72 1283.16 c 0,95,96
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   583
 501.72 1105.31 501.72 1105.31 568.32 907.98 c 1,80,81
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   584
472.86 730.38 m 1,97,98
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   585
 429.755 688.871 429.755 688.871 405.632 663.514 c 128,-1,99
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   586
 381.509 638.156 381.509 638.156 353.182 601.016 c 128,-1,100
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   587
 324.856 563.877 324.856 563.877 310.864 530.917 c 128,-1,101
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   588
 296.872 497.957 296.872 497.957 287.186 452.969 c 128,-1,102
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   589
 277.5 407.98 277.5 407.98 277.5 355.2 c 0,103,104
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   590
 277.5 315.975 277.5 315.975 284.001 274.051 c 128,-1,105
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   591
 290.502 232.128 290.502 232.128 307.549 185.667 c 128,-1,106
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   592
 324.595 139.206 324.595 139.206 350.104 103.2 c 128,-1,107
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   593
 375.613 67.1938 375.613 67.1938 417.874 43.5871 c 128,-1,108
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   594
 460.135 19.9805 460.135 19.9805 512.82 19.9805 c 0,109,110
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   595
 541.868 19.9805 541.868 19.9805 573.989 24.875 c 128,-1,111
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   596
 606.109 29.7694 606.109 29.7694 652.285 43.0782 c 128,-1,112
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   597
 698.46 56.3869 698.46 56.3869 751.588 86.965 c 128,-1,113
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   598
 804.717 117.543 804.717 117.543 854.7 162.06 c 1,114,115
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   599
 767.623 249.137 767.623 249.137 650.46 421.8 c 0,116,117
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   600
 584.324 517.159 584.324 517.159 549.482 579.142 c 128,-1,118
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   601
 514.639 641.126 514.639 641.126 472.86 730.38 c 1,97,98
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   602
EndSplineSet
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   603
EndChar
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   604
StartChar: quotesingle
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   605
Encoding: 39 39 10
29085
29de5c277f2a replaced single quote by mathematical prime;
wenzelm
parents: 29083
diff changeset
   606
Width: 610
29de5c277f2a replaced single quote by mathematical prime;
wenzelm
parents: 29083
diff changeset
   607
VWidth: 2630
29de5c277f2a replaced single quote by mathematical prime;
wenzelm
parents: 29083
diff changeset
   608
Flags: W
29de5c277f2a replaced single quote by mathematical prime;
wenzelm
parents: 29083
diff changeset
   609
HStem: 509.9 46.62<130.98 142.08> 1606.58 44.4<412.92 488.4>
29de5c277f2a replaced single quote by mathematical prime;
wenzelm
parents: 29083
diff changeset
   610
VStem: 64.38 517.26
29de5c277f2a replaced single quote by mathematical prime;
wenzelm
parents: 29083
diff changeset
   611
Fore
29de5c277f2a replaced single quote by mathematical prime;
wenzelm
parents: 29083
diff changeset
   612
566.1 1473.38 m 2,0,-1
29de5c277f2a replaced single quote by mathematical prime;
wenzelm
parents: 29083
diff changeset
   613
 168.72 540.98 l 2,1,2
29de5c277f2a replaced single quote by mathematical prime;
wenzelm
parents: 29083
diff changeset
   614
 155.4 509.9 155.4 509.9 139.86 509.9 c 0,3,4
29de5c277f2a replaced single quote by mathematical prime;
wenzelm
parents: 29083
diff changeset
   615
 121.434 509.9 121.434 509.9 92.9072 521.787 c 128,-1,5
29de5c277f2a replaced single quote by mathematical prime;
wenzelm
parents: 29083
diff changeset
   616
 64.3799 533.673 64.3799 533.673 64.3799 549.86 c 0,6,7
29de5c277f2a replaced single quote by mathematical prime;
wenzelm
parents: 29083
diff changeset
   617
 64.3799 554.294 64.3799 554.294 71.04 580.94 c 2,8,-1
29de5c277f2a replaced single quote by mathematical prime;
wenzelm
parents: 29083
diff changeset
   618
 339.66 1548.86 l 2,9,10
29de5c277f2a replaced single quote by mathematical prime;
wenzelm
parents: 29083
diff changeset
   619
 344.242 1563.75 344.242 1563.75 346.869 1571.28 c 128,-1,11
29de5c277f2a replaced single quote by mathematical prime;
wenzelm
parents: 29083
diff changeset
   620
 349.496 1578.81 349.496 1578.81 359.25 1596.55 c 128,-1,12
29de5c277f2a replaced single quote by mathematical prime;
wenzelm
parents: 29083
diff changeset
   621
 369.004 1614.29 369.004 1614.29 380.188 1624.07 c 128,-1,13
29de5c277f2a replaced single quote by mathematical prime;
wenzelm
parents: 29083
diff changeset
   622
 391.37 1633.84 391.37 1633.84 411.749 1642.41 c 128,-1,14
29de5c277f2a replaced single quote by mathematical prime;
wenzelm
parents: 29083
diff changeset
   623
 432.128 1650.98 432.128 1650.98 457.32 1650.98 c 0,15,16
29de5c277f2a replaced single quote by mathematical prime;
wenzelm
parents: 29083
diff changeset
   624
 505.62 1650.98 505.62 1650.98 543.63 1617.5 c 128,-1,17
29de5c277f2a replaced single quote by mathematical prime;
wenzelm
parents: 29083
diff changeset
   625
 581.64 1584.01 581.64 1584.01 581.64 1535.54 c 0,18,19
29de5c277f2a replaced single quote by mathematical prime;
wenzelm
parents: 29083
diff changeset
   626
 581.64 1506.68 581.64 1506.68 566.1 1473.38 c 2,0,-1
29083
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   627
EndSplineSet
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   628
EndChar
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   629
StartChar: parenleft
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   630
Encoding: 40 40 11
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   631
Width: 861
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   632
VWidth: 2220
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   633
Flags: W
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   634
HStem: -555 46.62<701.52 719.28> 1620.6 44.4<701.52 719.28>
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   635
VStem: 219.78 128.76<468.42 648.24>
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   636
Fore
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   637
734.82 -532.8 m 0,0,1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   638
 734.82 -555 734.82 -555 712.62 -555 c 0,2,3
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   639
 702.684 -555 702.684 -555 666.995 -526.936 c 128,-1,4
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   640
 631.306 -498.872 631.306 -498.872 581.964 -449.968 c 128,-1,5
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   641
 532.621 -401.063 532.621 -401.063 472.606 -316.799 c 128,-1,6
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   642
 412.59 -232.535 412.59 -232.535 366.3 -137.64 c 0,7,8
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   643
 219.78 163.392 219.78 163.392 219.78 555 c 0,9,10
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   644
 219.78 930.442 219.78 930.442 359.64 1232.1 c 0,11,12
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   645
 396.592 1311.64 396.592 1311.64 444.208 1384.75 c 128,-1,13
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   646
 491.824 1457.85 491.824 1457.85 534.385 1506.92 c 128,-1,14
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   647
 576.947 1555.99 576.947 1555.99 616.196 1593.18 c 128,-1,15
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   648
 655.446 1630.37 655.446 1630.37 680.266 1647.68 c 128,-1,16
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   649
 705.086 1665 705.086 1665 712.62 1665 c 0,17,18
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   650
 734.82 1665 734.82 1665 734.82 1642.8 c 0,19,20
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   651
 734.82 1638.61 734.82 1638.61 733.8 1635.81 c 128,-1,21
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   652
 732.78 1633.02 732.78 1633.02 726.221 1625.37 c 128,-1,22
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   653
 719.662 1617.71 719.662 1617.71 705.96 1605.06 c 0,23,24
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   654
 348.54 1241.83 348.54 1241.83 348.54 555 c 0,25,26
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   655
 348.54 446.414 348.54 446.414 357.863 343.002 c 128,-1,27
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   656
 367.185 239.59 367.185 239.59 391.592 123.482 c 128,-1,28
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   657
 415.998 7.37431 415.998 7.37431 454.228 -95.5992 c 128,-1,29
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   658
 492.458 -198.573 492.458 -198.573 554.558 -300.733 c 128,-1,30
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   659
 616.657 -402.893 616.657 -402.893 697.08 -483.96 c 0,31,32
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   660
 714.997 -501.877 714.997 -501.877 723.574 -512.058 c 128,-1,33
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   661
 732.152 -522.238 732.152 -522.238 733.486 -525.422 c 128,-1,34
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   662
 734.82 -528.606 734.82 -528.606 734.82 -532.8 c 0,0,1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   663
EndSplineSet
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   664
EndChar
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   665
StartChar: parenright
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   666
Encoding: 41 41 12
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   667
Width: 861
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   668
VWidth: 2220
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   669
Flags: W
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   670
HStem: -555 46.62<142.08 159.84> 1620.6 44.4<142.08 159.84>
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   671
VStem: 512.82 128.76<461.76 641.58>
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   672
Fore
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   673
641.58 555 m 0,0,1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   674
 641.58 179.557 641.58 179.557 501.72 -122.1 c 0,2,3
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   675
 464.767 -201.642 464.767 -201.642 417.152 -274.746 c 128,-1,4
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   676
 369.536 -347.851 369.536 -347.851 326.975 -396.919 c 128,-1,5
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   677
 284.414 -445.987 284.414 -445.987 245.164 -483.178 c 128,-1,6
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   678
 205.914 -520.369 205.914 -520.369 181.094 -537.685 c 128,-1,7
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   679
 156.274 -555 156.274 -555 148.74 -555 c 0,8,9
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   680
 138.75 -555 138.75 -555 132.645 -548.895 c 128,-1,10
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   681
 126.54 -542.79 126.54 -542.79 126.54 -532.8 c 0,11,12
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   682
 126.54 -528.606 126.54 -528.606 127.56 -525.815 c 128,-1,13
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   683
 128.581 -523.023 128.581 -523.023 135.14 -515.365 c 128,-1,14
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   684
 141.699 -507.707 141.699 -507.707 155.4 -495.06 c 0,15,16
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   685
 512.82 -131.874 512.82 -131.874 512.82 555 c 0,17,18
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   686
 512.82 897.818 512.82 897.818 423.685 1161.02 c 128,-1,19
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   687
 334.55 1424.22 334.55 1424.22 168.72 1591.74 c 0,20,21
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   688
 148.695 1610.71 148.695 1610.71 139.109 1621.4 c 128,-1,22
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   689
 129.523 1632.08 129.523 1632.08 128.031 1635.34 c 128,-1,23
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   690
 126.54 1638.61 126.54 1638.61 126.54 1642.8 c 0,24,25
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   691
 126.54 1652.79 126.54 1652.79 132.645 1658.9 c 128,-1,26
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   692
 138.75 1665 138.75 1665 148.74 1665 c 128,-1,27
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   693
 158.677 1665 158.677 1665 194.366 1636.94 c 128,-1,28
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   694
 230.055 1608.87 230.055 1608.87 279.397 1559.97 c 128,-1,29
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   695
 328.739 1511.06 328.739 1511.06 388.754 1426.8 c 128,-1,30
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   696
 448.769 1342.54 448.769 1342.54 495.06 1247.64 c 0,31,32
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   697
 641.58 946.609 641.58 946.609 641.58 555 c 0,0,1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   698
EndSplineSet
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   699
EndChar
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   700
StartChar: asterisk
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   701
Encoding: 42 42 13
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   702
Width: 1110
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   703
VWidth: 2220
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   704
Flags: W
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   705
HStem: 708.18 46.62<538.35 570.54> 1620.6 44.4<537.24 569.43>
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   706
VStem: 144.3 819.18<976.8 991.23 964.59 992.34 1381.95 1408.59>
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   707
Fore
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   708
603.84 1185.48 m 1,0,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   709
 916.86 1038.96 l 2,1,2
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   710
 943.732 1026.31 943.732 1026.31 953.606 1012.49 c 128,-1,3
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   711
 963.48 998.667 963.48 998.667 963.48 979.02 c 0,4,5
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   712
 963.48 955.958 963.48 955.958 946.204 936.409 c 128,-1,6
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   713
 928.928 916.86 928.928 916.86 903.54 916.86 c 0,7,8
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   714
 895.351 916.86 895.351 916.86 888.905 918.833 c 128,-1,9
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   715
 882.458 920.807 882.458 920.807 878.216 923.766 c 128,-1,10
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   716
 873.973 926.726 873.973 926.726 868.02 930.18 c 0,11,12
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   717
 862.768 933.331 862.768 933.331 750.071 1016.34 c 128,-1,13
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   718
 637.374 1099.35 637.374 1099.35 579.42 1141.08 c 1,14,15
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   719
 612.72 774.819 612.72 774.819 612.72 763.68 c 0,16,17
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   720
 612.72 741.319 612.72 741.319 595.702 724.75 c 128,-1,18
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   721
 578.685 708.18 578.685 708.18 552.78 708.18 c 0,19,20
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   722
 530.104 708.18 530.104 708.18 512.582 723.905 c 128,-1,21
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   723
 495.06 739.63 495.06 739.63 495.06 763.68 c 2,22,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   724
 528.36 1141.08 l 1,23,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   725
 217.56 916.86 l 1,24,25
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   726
 196.991 916.86 196.991 916.86 181.948 923.165 c 128,-1,26
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   727
 166.906 929.47 166.906 929.47 159.984 937.195 c 128,-1,27
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   728
 153.063 944.921 153.063 944.921 149.128 955.488 c 128,-1,28
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   729
 145.193 966.055 145.193 966.055 144.746 970.584 c 128,-1,29
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   730
 144.3 975.112 144.3 975.112 144.3 979.02 c 0,30,31
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   731
 144.3 1000.01 144.3 1000.01 154.625 1013.39 c 128,-1,32
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   732
 164.949 1026.78 164.949 1026.78 195.36 1041.18 c 2,33,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   733
 503.94 1187.7 l 1,34,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   734
 190.92 1334.22 l 2,35,36
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   735
 164.048 1346.87 164.048 1346.87 154.174 1360.69 c 128,-1,37
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   736
 144.3 1374.51 144.3 1374.51 144.3 1394.16 c 0,38,39
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   737
 144.3 1417.22 144.3 1417.22 161.576 1436.77 c 128,-1,40
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   738
 178.852 1456.32 178.852 1456.32 204.24 1456.32 c 0,41,42
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   739
 215.34 1456.32 215.34 1456.32 223.332 1452.66 c 128,-1,43
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   740
 231.324 1448.99 231.324 1448.99 253.08 1431.9 c 2,44,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   741
 528.36 1232.1 l 1,45,46
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   742
 495.06 1598.38 495.06 1598.38 495.06 1609.5 c 0,47,48
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   743
 495.06 1631.86 495.06 1631.86 512.077 1648.43 c 128,-1,49
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   744
 529.095 1665 529.095 1665 555 1665 c 0,50,51
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   745
 577.676 1665 577.676 1665 595.198 1649.27 c 128,-1,52
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   746
 612.72 1633.55 612.72 1633.55 612.72 1609.5 c 2,53,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   747
 579.42 1232.1 l 1,54,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   748
 825.84 1414.14 l 2,55,56
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   749
 866.506 1443.86 866.506 1443.86 878.64 1450.09 c 128,-1,57
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   750
 890.775 1456.32 890.775 1456.32 903.54 1456.32 c 0,58,59
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   751
 928.928 1456.32 928.928 1456.32 946.204 1436.77 c 128,-1,60
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   752
 963.48 1417.22 963.48 1417.22 963.48 1394.16 c 0,61,62
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   753
 963.48 1373.17 963.48 1373.17 953.156 1359.79 c 128,-1,63
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   754
 942.831 1346.41 942.831 1346.41 912.42 1332 c 2,64,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   755
 603.84 1185.48 l 1,0,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   756
EndSplineSet
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   757
EndChar
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   758
StartChar: plus
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   759
Encoding: 43 43 14
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   760
Width: 1724
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   761
VWidth: 2220
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   762
Flags: W
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   763
HStem: -184.26 46.62<841.38 885.78> 510.6 88.8<197.58 819.18 907.98 1527.36> 1249.86 44.4<841.38 885.78>
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   764
VStem: 819.18 88.8<-111 510.6 599.4 1221>
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   765
Fore
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   766
907.98 510.6 m 1,0,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   767
 907.98 -111 l 2,1,2
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   768
 907.98 -127.234 907.98 -127.234 907.131 -136.322 c 128,-1,3
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   769
 906.282 -145.41 906.282 -145.41 902.586 -158.522 c 128,-1,4
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   770
 898.889 -171.634 898.889 -171.634 889.094 -177.947 c 128,-1,5
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   771
 879.298 -184.26 879.298 -184.26 863.58 -184.26 c 128,-1,6
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   772
 847.862 -184.26 847.862 -184.26 838.067 -177.947 c 128,-1,7
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   773
 828.271 -171.634 828.271 -171.634 824.574 -158.522 c 128,-1,8
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   774
 820.878 -145.41 820.878 -145.41 820.029 -136.322 c 128,-1,9
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   775
 819.18 -127.234 819.18 -127.234 819.18 -111 c 2,10,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   776
 819.18 510.6 l 1,11,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   777
 197.58 510.6 l 2,12,13
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   778
 181.346 510.6 181.346 510.6 172.258 511.449 c 128,-1,14
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   779
 163.17 512.298 163.17 512.298 150.058 515.994 c 128,-1,15
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   780
 136.946 519.691 136.946 519.691 130.633 529.486 c 128,-1,16
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   781
 124.32 539.282 124.32 539.282 124.32 555 c 128,-1,17
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   782
 124.32 570.718 124.32 570.718 130.633 580.514 c 128,-1,18
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   783
 136.946 590.309 136.946 590.309 150.058 594.006 c 128,-1,19
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   784
 163.17 597.702 163.17 597.702 172.258 598.551 c 128,-1,20
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   785
 181.346 599.4 181.346 599.4 197.58 599.4 c 2,21,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   786
 819.18 599.4 l 1,22,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   787
 819.18 1221 l 2,23,24
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   788
 819.18 1237.23 819.18 1237.23 820.029 1246.32 c 128,-1,25
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   789
 820.878 1255.41 820.878 1255.41 824.574 1268.52 c 128,-1,26
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   790
 828.271 1281.63 828.271 1281.63 838.067 1287.95 c 128,-1,27
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   791
 847.862 1294.26 847.862 1294.26 863.58 1294.26 c 128,-1,28
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   792
 879.298 1294.26 879.298 1294.26 889.094 1287.95 c 128,-1,29
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   793
 898.889 1281.63 898.889 1281.63 902.586 1268.52 c 128,-1,30
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   794
 906.282 1255.41 906.282 1255.41 907.131 1246.32 c 128,-1,31
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   795
 907.98 1237.23 907.98 1237.23 907.98 1221 c 2,32,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   796
 907.98 599.4 l 1,33,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   797
 1527.36 599.4 l 2,34,35
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   798
 1543.59 599.4 1543.59 599.4 1552.68 598.551 c 128,-1,36
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   799
 1561.77 597.702 1561.77 597.702 1574.88 594.006 c 128,-1,37
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   800
 1587.99 590.309 1587.99 590.309 1594.31 580.514 c 128,-1,38
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   801
 1600.62 570.718 1600.62 570.718 1600.62 555 c 128,-1,39
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   802
 1600.62 539.282 1600.62 539.282 1594.31 529.486 c 128,-1,40
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   803
 1587.99 519.691 1587.99 519.691 1574.88 515.994 c 128,-1,41
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   804
 1561.77 512.298 1561.77 512.298 1552.68 511.449 c 128,-1,42
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   805
 1543.59 510.6 1543.59 510.6 1527.36 510.6 c 2,43,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   806
 907.98 510.6 l 1,0,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   807
EndSplineSet
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   808
EndChar
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   809
StartChar: comma
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   810
Encoding: 44 44 15
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   811
Width: 614
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   812
VWidth: 2220
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   813
Flags: W
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   814
HStem: -428.46 46.62<243.09 261.96> 0 235.32<269.73 326.34>
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   815
VStem: 401.82 48.84<-68.82 17.76>
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   816
Fore
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   817
397.38 35.5195 m 1,0,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   818
 392.94 31.0801 l 2,1,2
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   819
 354.089 0 354.089 0 308.58 0 c 0,3,4
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   820
 252.317 0 252.317 0 221.618 35.0841 c 128,-1,5
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   821
 190.92 70.1682 190.92 70.1682 190.92 117.66 c 0,6,7
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   822
 190.92 164.679 190.92 164.679 222.267 200 c 128,-1,8
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   823
 253.614 235.32 253.614 235.32 308.58 235.32 c 0,9,10
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   824
 374.785 235.32 374.785 235.32 412.722 172.378 c 128,-1,11
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   825
 450.66 109.436 450.66 109.436 450.66 2.21973 c 0,12,13
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   826
 450.66 -69.7755 450.66 -69.7755 432.26 -139.984 c 128,-1,14
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   827
 413.86 -210.193 413.86 -210.193 387.169 -260.291 c 128,-1,15
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   828
 360.477 -310.39 360.477 -310.39 331.312 -349.765 c 128,-1,16
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   829
 302.147 -389.14 302.147 -389.14 279.827 -408.8 c 128,-1,17
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   830
 257.507 -428.46 257.507 -428.46 248.64 -428.46 c 128,-1,18
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   831
 239.76 -428.46 239.76 -428.46 233.1 -421.8 c 128,-1,19
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   832
 226.44 -415.14 226.44 -415.14 226.44 -404.04 c 0,20,21
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   833
 226.44 -397.658 226.44 -397.658 228.938 -393.911 c 128,-1,22
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   834
 231.435 -390.165 231.435 -390.165 241.98 -379.62 c 0,23,24
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   835
 317.105 -299.373 317.105 -299.373 359.463 -200.68 c 128,-1,25
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   836
 401.82 -101.987 401.82 -101.987 401.82 2.21973 c 0,26,27
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   837
 401.82 35.5195 401.82 35.5195 397.38 35.5195 c 1,0,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   838
EndSplineSet
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   839
EndChar
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   840
StartChar: hyphen
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   841
Encoding: 45 45 16
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   842
Width: 1724
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   843
VWidth: 2220
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   844
Flags: W
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   845
HStem: 510.6 88.8<241.98 1467.42 257.52 1467.42>
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   846
VStem: 184.26 1356.42<532.8 577.2>
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   847
Fore
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   848
1467.42 510.6 m 2,0,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   849
 257.52 510.6 l 2,1,2
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   850
 241.286 510.6 241.286 510.6 232.198 511.449 c 0,3,4
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   851
 223.11 512.298 223.11 512.298 209.998 515.994 c 0,5,6
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   852
 196.886 519.691 196.886 519.691 190.573 529.486 c 0,7,8
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   853
 184.26 539.282 184.26 539.282 184.26 555 c 0,3,4
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   854
 184.26 570.718 184.26 570.718 190.573 580.514 c 0,5,6
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   855
 196.886 590.309 196.886 590.309 209.998 594.006 c 0,7,8
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   856
 223.11 597.702 223.11 597.702 232.198 598.551 c 0,9,10
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   857
 241.286 599.4 241.286 599.4 257.52 599.4 c 2,5,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   858
 1467.42 599.4 l 2,6,7
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   859
 1483.65 599.4 1483.65 599.4 1492.74 598.551 c 0,8,9
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   860
 1501.83 597.702 1501.83 597.702 1514.94 594.006 c 0,10,11
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   861
 1528.05 590.309 1528.05 590.309 1534.37 580.514 c 0,12,13
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   862
 1540.68 570.718 1540.68 570.718 1540.68 555 c 0,8,9
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   863
 1540.68 539.282 1540.68 539.282 1534.37 529.486 c 0,10,11
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   864
 1528.05 519.691 1528.05 519.691 1514.94 515.994 c 0,12,13
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   865
 1501.83 512.298 1501.83 512.298 1492.74 511.449 c 0,14,15
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   866
 1483.65 510.6 1483.65 510.6 1467.42 510.6 c 2,0,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   867
EndSplineSet
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   868
EndChar
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   869
StartChar: period
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   870
Encoding: 46 46 17
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   871
Width: 614
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   872
VWidth: 2220
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   873
Flags: W
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   874
HStem: 0 235.32<276.39 340.77>
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   875
VStem: 190.92 235.32<85.47 149.85>
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   876
Fore
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   877
426.24 117.66 m 128,-1,1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   878
 426.24 69.3752 426.24 69.3752 391.553 34.6876 c 128,-1,2
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   879
 356.865 0 356.865 0 308.58 0 c 128,-1,3
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   880
 260.295 0 260.295 0 225.608 34.6876 c 128,-1,4
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   881
 190.92 69.3752 190.92 69.3752 190.92 117.66 c 128,-1,5
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   882
 190.92 165.945 190.92 165.945 225.608 200.633 c 128,-1,6
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   883
 260.295 235.32 260.295 235.32 308.58 235.32 c 128,-1,7
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   884
 356.865 235.32 356.865 235.32 391.553 200.633 c 128,-1,0
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   885
 426.24 165.945 426.24 165.945 426.24 117.66 c 128,-1,1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   886
EndSplineSet
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   887
EndChar
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   888
StartChar: slash
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   889
Encoding: 47 47 18
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   890
Width: 1110
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   891
VWidth: 2220
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   892
Flags: W
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   893
HStem: -555 46.62<156.51 184.26> 1620.6 44.4
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   894
VStem: 124.32 859.14
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   895
Fore
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   896
972.36 1580.64 m 2,0,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   897
 215.34 -510.6 l 2,1,2
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   898
 211.229 -524.304 211.229 -524.304 207.159 -532.526 c 128,-1,3
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   899
 203.089 -540.748 203.089 -540.748 193.181 -547.874 c 128,-1,4
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   900
 183.273 -555 183.273 -555 168.72 -555 c 0,5,6
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   901
 150.405 -555 150.405 -555 137.363 -541.957 c 128,-1,7
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   902
 124.32 -528.915 124.32 -528.915 124.32 -510.6 c 0,8,9
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   903
 124.32 -499.5 124.32 -499.5 135.42 -470.64 c 2,10,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   904
 892.44 1620.6 l 2,11,12
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   905
 896.551 1634.3 896.551 1634.3 900.621 1642.53 c 128,-1,13
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   906
 904.691 1650.75 904.691 1650.75 914.599 1657.87 c 128,-1,14
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   907
 924.507 1665 924.507 1665 939.06 1665 c 0,15,16
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   908
 957.375 1665 957.375 1665 970.417 1651.96 c 128,-1,17
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   909
 983.46 1638.91 983.46 1638.91 983.46 1620.6 c 0,18,19
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   910
 983.46 1609.5 983.46 1609.5 972.36 1580.64 c 2,0,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   911
EndSplineSet
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   912
EndChar
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   913
StartChar: zero
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   914
Encoding: 48 48 19
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   915
Width: 1233
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   916
Flags: W
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   917
TtfInstrs: 292
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   918
5SsS0&pPQ.GT1NDE[2A1*X2Tc%1`sd$mZD^m-N6G&FM7Q&ENKM&FS&n0L51^!&"@+!\XX/">9p3
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   919
"tp37#VQK;$82cO!'^KK!^?cO"@!&S#!W>W#X8V[$9nno!)EVg!_WVg"A9"n#tkV$$WI1,"&oD"
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   920
"],D"#?1t.#uh7B!b;CD"CMC@#%.[H#\46P$D.<j!M9Fc".o^g#bMEq$D.^0!3ZF(!ilF("KMg/
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   921
$*+E:$buq]#/CKD!<3*"!riB&"TJZ*#6+r.#lb52$NCK50*!X+0*3d/0*Ep30*X'70*j3;0+'??
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   922
^Au"L^B2.P^BD:T^BVFX^BhR\^C%^`^];.N^]M:R^]_FV^]qRZ^^.^^^^@jb,[CFV
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   923
EndTtf
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   924
Fore
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   925
492 745 m 256,0,1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   926
 492 798 492 798 528 834 c 128,-1,2
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   927
 564 870 564 870 616 870 c 0,3,4
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   928
 669 870 669 870 705 834 c 128,-1,5
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   929
 741 798 741 798 741 745 c 0,6,7
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   930
 741 693 741 693 705 657 c 128,-1,8
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   931
 669 621 669 621 616 621 c 0,9,10
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   932
 564 621 564 621 528 656.5 c 128,-1,11
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   933
 492 692 492 692 492 745 c 256,0,1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   934
616 1270 m 0,12,13
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   935
 514 1270 514 1270 467 1145 c 128,-1,14
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   936
 420 1020 420 1020 420 745 c 0,15,16
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   937
 420 471 420 471 467 346 c 128,-1,17
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   938
 514 221 514 221 616 221 c 0,18,19
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   939
 719 221 719 221 766 346 c 128,-1,20
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   940
 813 471 813 471 813 745 c 0,21,22
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   941
 813 1020 813 1020 766 1145 c 128,-1,23
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   942
 719 1270 719 1270 616 1270 c 0,12,13
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   943
123 745 m 0,24,25
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   944
 123 1133 123 1133 246 1326.5 c 128,-1,26
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   945
 369 1520 369 1520 616 1520 c 0,27,28
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   946
 864 1520 864 1520 987 1327 c 128,-1,29
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   947
 1110 1134 1110 1134 1110 745 c 0,30,31
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   948
 1110 357 1110 357 987 164 c 128,-1,32
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   949
 864 -29 864 -29 616 -29 c 0,33,34
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   950
 369 -29 369 -29 246 164.5 c 128,-1,35
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   951
 123 358 123 358 123 745 c 0,24,25
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   952
EndSplineSet
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   953
EndChar
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   954
StartChar: one
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   955
Encoding: 49 49 20
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   956
Width: 1233
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   957
Flags: W
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   958
TtfInstrs: 36
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   959
5S=0D"9NfOA-W*Z#m^_F!rr?0&CeY:r5:;i0C1Idm*tAU
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   960
EndTtf
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   961
Fore
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   962
188 260 m 1,0,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   963
 518 260 l 1,1,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   964
 518 1229 l 1,2,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   965
 211 1153 l 1,3,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   966
 211 1419 l 1,4,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   967
 520 1493 l 1,5,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   968
 805 1493 l 1,6,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   969
 805 260 l 1,7,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   970
 1135 260 l 1,8,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   971
 1135 0 l 1,9,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   972
 188 0 l 1,10,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   973
 188 260 l 1,0,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   974
EndSplineSet
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   975
EndChar
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   976
StartChar: two
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   977
Encoding: 50 50 21
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   978
Width: 1233
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   979
Flags: W
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   980
TtfInstrs: 91
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   981
5VE*@";i!p)]T"t*<cTL,m=_\"9JQ7H4bE3GSG#qGQJ$N!"]J=!=B>R%1iUM*YA7fr9V57&J@):
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   982
3ACLem.BZ:lk'jj&J@)X92ept&-^/f(HD^(a]Tef
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   983
EndTtf
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   984
Fore
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   985
434 260 m 1,0,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   986
 1063 260 l 1,1,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   987
 1063 0 l 1,2,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   988
 115 0 l 1,3,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   989
 115 252 l 1,4,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   990
 275 422 l 2,5,6
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   991
 560 725 560 725 621 795 c 0,7,8
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   992
 696 881 696 881 729 947.5 c 128,-1,9
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   993
 762 1014 762 1014 762 1079 c 0,10,11
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   994
 762 1179 762 1179 701.5 1233.5 c 128,-1,12
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   995
 641 1288 641 1288 530 1288 c 0,13,14
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   996
 451 1288 451 1288 352.5 1256.5 c 128,-1,15
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   997
 254 1225 254 1225 147 1165 c 1,16,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   998
 147 1440 l 1,17,18
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
   999
 254 1479 254 1479 356.5 1499.5 c 128,-1,19
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1000
 459 1520 459 1520 553 1520 c 0,20,21
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1001
 790 1520 790 1520 925.5 1409.5 c 128,-1,22
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1002
 1061 1299 1061 1299 1061 1108 c 0,23,24
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1003
 1061 1020 1061 1020 1031.5 943 c 128,-1,25
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1004
 1002 866 1002 866 930 772 c 0,26,27
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1005
 877 704 877 704 639 466 c 0,28,29
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1006
 510 337 510 337 434 260 c 1,0,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1007
EndSplineSet
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1008
EndChar
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1009
StartChar: three
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1010
Encoding: 51 51 22
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1011
Width: 1233
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1012
Flags: W
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1013
TtfInstrs: 71
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1014
5UdHKDuq/.+*f)M*"7-&GmSF$DB*Zu.2E3l!!E<,&JHK')%?uT*t0S0r5?POm*tA6(HF2M&B*Z%
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1015
m.BWUme6&[mPus$
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1016
EndTtf
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1017
Fore
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1018
549 668 m 2,0,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1019
 391 668 l 1,1,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1020
 391 928 l 1,2,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1021
 549 928 l 2,3,4
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1022
 659 928 659 928 719.5 971.5 c 128,-1,5
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1023
 780 1015 780 1015 780 1094 c 0,6,7
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1024
 780 1177 780 1177 719.5 1223.5 c 128,-1,8
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1025
 659 1270 659 1270 549 1270 c 0,9,10
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1026
 465 1270 465 1270 369 1249 c 128,-1,11
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1027
 273 1228 273 1228 170 1188 c 1,12,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1028
 170 1456 l 1,13,14
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1029
 273 1487 273 1487 373 1503.5 c 128,-1,15
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1030
 473 1520 473 1520 565 1520 c 0,16,17
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1031
 801 1520 801 1520 933 1417 c 128,-1,18
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1032
 1065 1314 1065 1314 1065 1133 c 0,19,20
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1033
 1065 1000 1065 1000 989 915.5 c 128,-1,21
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1034
 913 831 913 831 772 805 c 1,22,23
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1035
 932 777 932 777 1016 677.5 c 128,-1,24
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1036
 1100 578 1100 578 1100 416 c 0,25,26
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1037
 1100 199 1100 199 961 85 c 128,-1,27
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1038
 822 -29 822 -29 557 -29 c 0,28,29
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1039
 444 -29 444 -29 334.5 -10 c 128,-1,30
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1040
 225 9 225 9 125 45 c 1,31,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1041
 125 319 l 1,32,33
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1042
 219 272 219 272 328 247.5 c 128,-1,34
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1043
 437 223 437 223 557 223 c 256,35,36
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1044
 677 223 677 223 747 278.5 c 128,-1,37
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1045
 817 334 817 334 817 428 c 0,38,39
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1046
 817 543 817 543 747 605.5 c 128,-1,40
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1047
 677 668 677 668 549 668 c 2,0,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1048
EndSplineSet
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1049
EndChar
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1050
StartChar: four
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1051
Encoding: 52 52 23
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1052
Width: 1233
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1053
Flags: W
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1054
TtfInstrs: 66
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1055
5T^"9!t>54!t?OV!t,?Y"T\^9#ltGA!"K8;"q:tL%M8R9e3*(Q&NMQG0BCVFlnT260M>>H#7q$[
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1056
#7q'\=X!hG
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1057
EndTtf
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1058
Fore
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1059
694 1165 m 1,0,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1060
 317 575 l 1,1,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1061
 694 575 l 1,2,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1062
 694 1165 l 1,0,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1063
668 1493 m 1,3,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1064
 977 1493 l 1,4,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1065
 977 575 l 1,5,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1066
 1141 575 l 1,6,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1067
 1141 322 l 1,7,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1068
 977 322 l 1,8,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1069
 977 0 l 1,9,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1070
 694 0 l 1,10,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1071
 694 322 l 1,11,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1072
 102 322 l 1,12,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1073
 102 608 l 1,13,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1074
 668 1493 l 1,3,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1075
EndSplineSet
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1076
EndChar
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1077
StartChar: five
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1078
Encoding: 53 53 24
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1079
Width: 1233
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1080
Flags: W
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1081
TtfInstrs: 60
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1082
5Tp78*?'/-&UG"6'R1&gGQ;7`EX*Wf!<<-:&IJsI&.BTkr5AO"`";>k!"d*0o^!.Wp?iLk`"G'a
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1083
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1084
EndTtf
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1085
Fore
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1086
193 1493 m 1,0,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1087
 1004 1493 l 1,1,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1088
 1004 1233 l 1,2,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1089
 432 1233 l 1,3,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1090
 432 956 l 1,4,5
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1091
 468 970 468 970 509 976.5 c 128,-1,6
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1092
 550 983 550 983 596 983 c 0,7,8
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1093
 818 983 818 983 956 843 c 128,-1,9
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1094
 1094 703 1094 703 1094 479 c 0,10,11
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1095
 1094 244 1094 244 944.5 107.5 c 128,-1,12
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1096
 795 -29 795 -29 537 -29 c 0,13,14
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1097
 441 -29 441 -29 343 -13 c 128,-1,15
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1098
 245 3 245 3 143 35 c 1,16,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1099
 143 301 l 1,17,18
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1100
 226 260 226 260 313.5 239.5 c 128,-1,19
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1101
 401 219 401 219 489 219 c 0,20,21
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1102
 645 219 645 219 726 285.5 c 128,-1,22
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1103
 807 352 807 352 807 479 c 0,23,24
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1104
 807 596 807 596 726.5 666.5 c 128,-1,25
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1105
 646 737 646 737 512 737 c 0,26,27
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1106
 433 737 433 737 353.5 717.5 c 128,-1,28
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1107
 274 698 274 698 193 659 c 1,29,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1108
 193 1493 l 1,0,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1109
EndSplineSet
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1110
EndChar
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1111
StartChar: six
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1112
Encoding: 54 54 25
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1113
Width: 1233
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1114
Flags: W
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1115
TtfInstrs: 53
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1116
5TUR=HPQg4*"@3&Gn><HDB*[C$jdL`%20<U&0D<,&H(n]r9V?V!"e5`m.BWUmaged0E;(Q
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1117
EndTtf
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1118
Fore
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1119
643 748 m 256,0,1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1120
 547 748 547 748 496.5 678.5 c 128,-1,2
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1121
 446 609 446 609 446 477 c 0,3,4
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1122
 446 346 446 346 496.5 276.5 c 128,-1,5
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1123
 547 207 547 207 643 207 c 256,6,7
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1124
 739 207 739 207 790.5 276.5 c 128,-1,8
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1125
 842 346 842 346 842 477 c 256,9,10
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1126
 842 608 842 608 790.5 678 c 128,-1,11
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1127
 739 748 739 748 643 748 c 256,0,1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1128
1030 1458 m 1,12,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1129
 1030 1190 l 1,13,14
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1130
 951 1235 951 1235 878.5 1257.5 c 128,-1,15
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1131
 806 1280 806 1280 739 1280 c 0,16,17
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1132
 579 1280 579 1280 495.5 1172.5 c 128,-1,18
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1133
 412 1065 412 1065 408 855 c 1,19,20
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1134
 455 920 455 920 528 952.5 c 128,-1,21
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1135
 601 985 601 985 700 985 c 0,22,23
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1136
 902 985 902 985 1012 857.5 c 128,-1,24
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1137
 1122 730 1122 730 1122 496 c 0,25,26
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1138
 1122 245 1122 245 998.5 107 c 128,-1,27
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1139
 875 -31 875 -31 651 -31 c 0,28,29
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1140
 378 -31 378 -31 254.5 152 c 128,-1,30
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1141
 131 335 131 335 131 743 c 0,31,32
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1142
 131 1131 131 1131 282 1324.5 c 128,-1,33
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1143
 433 1518 433 1518 735 1518 c 0,34,35
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1144
 805 1518 805 1518 879.5 1503 c 128,-1,36
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1145
 954 1488 954 1488 1030 1458 c 1,12,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1146
EndSplineSet
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1147
EndChar
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1148
StartChar: seven
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1149
Encoding: 55 55 26
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1150
Width: 1233
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1151
Flags: W
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1152
TtfInstrs: 53
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1153
5T'_<!WrK+&d/@@,mAMnA-2u;!<`E4!"9)Dr9V?63B8eo0D+Tb92ept&-_G+&-_H(+ohTC
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1154
EndTtf
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1155
Fore
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1156
135 1493 m 1,0,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1157
 1079 1493 l 1,1,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1158
 1079 1284 l 1,2,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1159
 573 0 l 1,3,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1160
 272 0 l 1,4,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1161
 758 1233 l 1,5,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1162
 135 1233 l 1,6,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1163
 135 1493 l 1,0,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1164
EndSplineSet
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1165
EndChar
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1166
StartChar: eight
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1167
Encoding: 56 56 27
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1168
Width: 1233
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1169
Flags: W
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1170
TtfInstrs: 68
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1171
5U@6U!.-'tHQFbc&oJb2-SQAP#n-n]'+ZQ+'aYNm%0I7S+Ug%9r5@t"m*tA5mL_Gk&ihZH&B*Z%
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1172
lk&RrmQ!9]
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1173
EndTtf
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1174
Fore
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1175
616 666 m 0,0,1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1176
 517 666 517 666 456 603.5 c 128,-1,2
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1177
 395 541 395 541 395 438 c 256,3,4
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1178
 395 335 395 335 456 272 c 128,-1,5
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1179
 517 209 517 209 616 209 c 256,6,7
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1180
 715 209 715 209 776.5 273 c 128,-1,8
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1181
 838 337 838 337 838 438 c 0,9,10
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1182
 838 541 838 541 777 603.5 c 128,-1,11
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1183
 716 666 716 666 616 666 c 0,0,1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1184
397 791 m 1,12,13
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1185
 284 830 284 830 225 913.5 c 128,-1,14
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1186
 166 997 166 997 166 1118 c 0,15,16
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1187
 166 1304 166 1304 287 1412 c 128,-1,17
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1188
 408 1520 408 1520 616 1520 c 0,18,19
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1189
 825 1520 825 1520 946 1412 c 128,-1,20
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1190
 1067 1304 1067 1304 1067 1118 c 0,21,22
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1191
 1067 998 1067 998 1009 914.5 c 128,-1,23
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1192
 951 831 951 831 840 791 c 1,24,25
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1193
 964 753 964 753 1034 655 c 128,-1,26
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1194
 1104 557 1104 557 1104 420 c 0,27,28
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1195
 1104 205 1104 205 977 88 c 128,-1,29
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1196
 850 -29 850 -29 616 -29 c 0,30,31
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1197
 383 -29 383 -29 256 88 c 128,-1,32
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1198
 129 205 129 205 129 420 c 0,33,34
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1199
 129 558 129 558 200 656 c 128,-1,35
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1200
 271 754 271 754 397 791 c 1,12,13
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1201
428 1094 m 0,36,37
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1202
 428 1006 428 1006 478.5 954.5 c 128,-1,38
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1203
 529 903 529 903 616 903 c 0,39,40
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1204
 704 903 704 903 754.5 954.5 c 128,-1,41
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1205
 805 1006 805 1006 805 1094 c 0,42,43
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1206
 805 1181 805 1181 754.5 1231.5 c 128,-1,44
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1207
 704 1282 704 1282 616 1282 c 0,45,46
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1208
 530 1282 530 1282 479 1231 c 128,-1,47
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1209
 428 1180 428 1180 428 1094 c 0,36,37
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1210
EndSplineSet
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1211
EndChar
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1212
StartChar: nine
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1213
Encoding: 57 57 28
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1214
Width: 1233
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1215
Flags: W
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1216
TtfInstrs: 55
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1217
5T^4KHO9e"!-n]o(().1&8i8(,mP#%&/,KQ+qY7m,nU"@`;Jug0`VdGo^'L-me6&[mPus$
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1218
EndTtf
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1219
Fore
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1220
203 20 m 1,0,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1221
 203 289 l 1,1,2
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1222
 282 243 282 243 354.5 221 c 128,-1,3
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1223
 427 199 427 199 494 199 c 0,4,5
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1224
 653 199 653 199 736.5 305.5 c 128,-1,6
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1225
 820 412 820 412 825 624 c 1,7,8
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1226
 778 559 778 559 705 526.5 c 128,-1,9
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1227
 632 494 632 494 532 494 c 0,10,11
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1228
 331 494 331 494 221 621.5 c 128,-1,12
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1229
 111 749 111 749 111 983 c 0,13,14
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1230
 111 1233 111 1233 234 1370 c 128,-1,15
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1231
 357 1507 357 1507 582 1507 c 0,16,17
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1232
 855 1507 855 1507 978.5 1324.5 c 128,-1,18
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1233
 1102 1142 1102 1142 1102 735 c 0,19,20
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1234
 1102 348 1102 348 951 154.5 c 128,-1,21
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1235
 800 -39 800 -39 498 -39 c 0,22,23
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1236
 428 -39 428 -39 353.5 -24 c 128,-1,24
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1237
 279 -9 279 -9 203 20 c 1,0,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1238
590 741 m 0,25,26
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1239
 685 741 685 741 735.5 810.5 c 128,-1,27
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1240
 786 880 786 880 786 1012 c 0,28,29
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1241
 786 1143 786 1143 735.5 1212.5 c 128,-1,30
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1242
 685 1282 685 1282 590 1282 c 0,31,32
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1243
 494 1282 494 1282 442.5 1212.5 c 128,-1,33
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1244
 391 1143 391 1143 391 1012 c 256,34,35
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1245
 391 881 391 881 442.5 811 c 128,-1,36
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1246
 494 741 494 741 590 741 c 0,25,26
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1247
EndSplineSet
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1248
EndChar
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1249
StartChar: colon
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1250
Encoding: 58 58 29
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1251
Width: 614
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1252
VWidth: 2220
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1253
Flags: W
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1254
HStem: 0 235.32<276.39 340.77> 721.5 235.32<276.39 340.77>
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1255
VStem: 190.92 235.32<85.47 149.85 806.97 871.35>
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1256
Fore
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1257
426.24 839.16 m 128,-1,1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1258
 426.24 790.875 426.24 790.875 391.553 756.188 c 128,-1,2
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1259
 356.865 721.5 356.865 721.5 308.58 721.5 c 128,-1,3
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1260
 260.295 721.5 260.295 721.5 225.608 756.188 c 128,-1,4
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1261
 190.92 790.875 190.92 790.875 190.92 839.16 c 128,-1,5
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1262
 190.92 887.445 190.92 887.445 225.608 922.133 c 128,-1,6
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1263
 260.295 956.82 260.295 956.82 308.58 956.82 c 128,-1,7
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1264
 356.865 956.82 356.865 956.82 391.553 922.133 c 128,-1,0
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1265
 426.24 887.445 426.24 887.445 426.24 839.16 c 128,-1,1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1266
426.24 117.66 m 128,-1,9
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1267
 426.24 69.3752 426.24 69.3752 391.553 34.6876 c 128,-1,10
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1268
 356.865 0 356.865 0 308.58 0 c 128,-1,11
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1269
 260.295 0 260.295 0 225.608 34.6876 c 128,-1,12
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1270
 190.92 69.3752 190.92 69.3752 190.92 117.66 c 128,-1,13
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1271
 190.92 165.945 190.92 165.945 225.608 200.633 c 128,-1,14
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1272
 260.295 235.32 260.295 235.32 308.58 235.32 c 128,-1,15
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1273
 356.865 235.32 356.865 235.32 391.553 200.633 c 128,-1,8
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1274
 426.24 165.945 426.24 165.945 426.24 117.66 c 128,-1,9
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1275
EndSplineSet
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1276
EndChar
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1277
StartChar: semicolon
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1278
Encoding: 59 59 30
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1279
Width: 614
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1280
VWidth: 2220
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1281
Flags: W
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1282
HStem: -428.46 46.62<243.09 260.85> 0 235.32<269.73 314.13> 721.5 235.32<276.39 340.77>
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1283
VStem: 190.92 235.32<806.97 871.35>
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1284
Fore
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1285
426.24 839.16 m 128,-1,1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1286
 426.24 790.875 426.24 790.875 391.553 756.188 c 128,-1,2
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1287
 356.865 721.5 356.865 721.5 308.58 721.5 c 128,-1,3
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1288
 260.295 721.5 260.295 721.5 225.608 756.188 c 128,-1,4
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1289
 190.92 790.875 190.92 790.875 190.92 839.16 c 128,-1,5
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1290
 190.92 887.445 190.92 887.445 225.608 922.133 c 128,-1,6
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1291
 260.295 956.82 260.295 956.82 308.58 956.82 c 128,-1,7
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1292
 356.865 956.82 356.865 956.82 391.553 922.133 c 128,-1,0
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1293
 426.24 887.445 426.24 887.445 426.24 839.16 c 128,-1,1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1294
384.06 24.4199 m 1,8,9
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1295
 365.002 7.74469 365.002 7.74469 326.34 2.21973 c 1,10,11
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1296
 324.12 0 324.12 0 308.58 0 c 0,12,13
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1297
 252.317 0 252.317 0 221.618 35.0841 c 128,-1,14
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1298
 190.92 70.1682 190.92 70.1682 190.92 117.66 c 0,15,16
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1299
 190.92 164.679 190.92 164.679 222.267 200 c 128,-1,17
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1300
 253.614 235.32 253.614 235.32 308.58 235.32 c 0,18,19
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1301
 432.9 235.32 432.9 235.32 432.9 6.66016 c 0,20,21
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1302
 432.9 -65.9647 432.9 -65.9647 416.13 -136.852 c 128,-1,22
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1303
 399.36 -207.74 399.36 -207.74 375.025 -258.379 c 128,-1,23
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1304
 350.69 -309.017 350.69 -309.017 324.097 -348.836 c 128,-1,24
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1305
 297.505 -388.654 297.505 -388.654 277.131 -408.557 c 128,-1,25
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1306
 256.758 -428.46 256.758 -428.46 248.64 -428.46 c 0,26,27
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1307
 239.76 -428.46 239.76 -428.46 233.1 -421.8 c 128,-1,28
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1308
 226.44 -415.14 226.44 -415.14 226.44 -404.04 c 128,-1,29
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1309
 226.44 -392.94 226.44 -392.94 241.98 -375.18 c 0,30,31
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1310
 384.06 -210.9 384.06 -210.9 384.06 24.4199 c 1,8,9
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1311
EndSplineSet
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1312
EndChar
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1313
StartChar: less
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1314
Encoding: 60 60 31
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1315
Width: 1724
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1316
VWidth: 2220
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1317
Flags: W
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1318
HStem: -86.58 46.62 1152.18 44.4
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1319
VStem: 184.26 1356.42
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1320
Fore
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1321
1498.5 1105.56 m 2,0,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1322
 333 555 l 1,1,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1323
 1498.5 4.44043 l 2,2,3
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1324
 1520.82 -6.71927 1520.82 -6.71927 1530.75 -17.0321 c 128,-1,4
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1325
 1540.68 -27.3449 1540.68 -27.3449 1540.68 -44.4004 c 0,5,6
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1326
 1540.68 -62.7153 1540.68 -62.7153 1527.64 -75.7576 c 128,-1,7
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1327
 1514.6 -88.7998 1514.6 -88.7998 1496.28 -88.7998 c 0,8,9
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1328
 1485.18 -88.7998 1485.18 -88.7998 1456.32 -73.2598 c 2,10,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1329
 226.44 506.16 l 2,11,12
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1330
 205.073 515.872 205.073 515.872 194.666 526.279 c 128,-1,13
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1331
 184.26 536.685 184.26 536.685 184.26 555 c 128,-1,14
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1332
 184.26 573.315 184.26 573.315 194.666 583.721 c 128,-1,15
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1333
 205.073 594.128 205.073 594.128 226.44 603.84 c 2,16,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1334
 1456.32 1183.26 l 2,17,18
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1335
 1485.18 1198.8 1485.18 1198.8 1496.28 1198.8 c 0,19,20
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1336
 1514.6 1198.8 1514.6 1198.8 1527.64 1185.76 c 128,-1,21
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1337
 1540.68 1172.72 1540.68 1172.72 1540.68 1154.4 c 0,22,23
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1338
 1540.68 1137.34 1540.68 1137.34 1530.75 1127.03 c 128,-1,24
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1339
 1520.82 1116.72 1520.82 1116.72 1498.5 1105.56 c 2,0,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1340
EndSplineSet
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1341
EndChar
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1342
StartChar: equal
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1343
Encoding: 61 61 32
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1344
Width: 1724
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1345
VWidth: 2220
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1346
Flags: W
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1347
HStem: 295.26 88.8<199.8 1525.14 1525.14 1527.36> 725.94 88.8<197.58 199.8 199.8 1525.14>
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1348
VStem: 124.32 1476.3<317.46 361.86 748.14 792.54>
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1349
Fore
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1350
1525.14 725.94 m 2,0,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1351
 199.8 725.94 l 2,1,2
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1352
 186.125 725.94 186.125 725.94 178.728 726.247 c 128,-1,3
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1353
 171.33 726.553 171.33 726.553 159.281 728.831 c 128,-1,4
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1354
 147.231 731.109 147.231 731.109 140.864 735.482 c 128,-1,5
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1355
 134.497 739.855 134.497 739.855 129.408 748.722 c 128,-1,6
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1356
 124.32 757.589 124.32 757.589 124.32 770.34 c 0,7,8
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1357
 124.32 786.058 124.32 786.058 130.633 795.853 c 128,-1,9
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1358
 136.946 805.649 136.946 805.649 150.058 809.346 c 128,-1,10
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1359
 163.17 813.042 163.17 813.042 172.258 813.891 c 128,-1,11
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1360
 181.346 814.74 181.346 814.74 197.58 814.74 c 2,12,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1361
 1527.36 814.74 l 2,13,14
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1362
 1543.59 814.74 1543.59 814.74 1552.68 813.891 c 128,-1,15
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1363
 1561.77 813.042 1561.77 813.042 1574.88 809.346 c 128,-1,16
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1364
 1587.99 805.649 1587.99 805.649 1594.31 795.853 c 128,-1,17
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1365
 1600.62 786.058 1600.62 786.058 1600.62 770.34 c 0,18,19
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1366
 1600.62 757.589 1600.62 757.589 1595.53 748.722 c 128,-1,20
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1367
 1590.44 739.855 1590.44 739.855 1584.08 735.482 c 132,-1,21
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1368
 1577.71 731.109 1577.71 731.109 1565.66 728.831 c 128,-1,22
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1369
 1553.61 726.553 1553.61 726.553 1546.21 726.247 c 128,-1,23
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1370
 1538.81 725.94 1538.81 725.94 1525.14 725.94 c 2,0,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1371
1527.36 295.26 m 2,24,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1372
 197.58 295.26 l 2,25,26
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1373
 181.346 295.26 181.346 295.26 172.258 296.109 c 128,-1,27
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1374
 163.17 296.958 163.17 296.958 150.058 300.654 c 128,-1,28
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1375
 136.946 304.351 136.946 304.351 130.633 314.147 c 128,-1,29
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1376
 124.32 323.942 124.32 323.942 124.32 339.66 c 0,30,31
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1377
 124.32 352.411 124.32 352.411 129.409 361.278 c 128,-1,32
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1378
 134.497 370.145 134.497 370.145 140.864 374.518 c 128,-1,33
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1379
 147.231 378.891 147.231 378.891 159.281 381.169 c 128,-1,34
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1380
 171.331 383.447 171.331 383.447 178.728 383.753 c 128,-1,35
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1381
 186.125 384.06 186.125 384.06 199.8 384.06 c 2,36,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1382
 1525.14 384.06 l 2,37,38
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1383
 1538.82 384.06 1538.82 384.06 1546.21 383.753 c 128,-1,39
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1384
 1553.61 383.447 1553.61 383.447 1565.66 381.169 c 128,-1,40
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1385
 1577.71 378.891 1577.71 378.891 1584.08 374.518 c 128,-1,41
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1386
 1590.44 370.145 1590.44 370.145 1595.53 361.278 c 128,-1,42
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1387
 1600.62 352.411 1600.62 352.411 1600.62 339.66 c 0,43,44
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1388
 1600.62 323.942 1600.62 323.942 1594.31 314.147 c 128,-1,45
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1389
 1587.99 304.351 1587.99 304.351 1574.88 300.654 c 128,-1,46
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1390
 1561.77 296.958 1561.77 296.958 1552.68 296.109 c 128,-1,47
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1391
 1543.59 295.26 1543.59 295.26 1527.36 295.26 c 2,24,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1392
EndSplineSet
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1393
EndChar
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1394
StartChar: greater
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1395
Encoding: 62 62 33
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1396
Width: 1724
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1397
VWidth: 2220
29085
29de5c277f2a replaced single quote by mathematical prime;
wenzelm
parents: 29083
diff changeset
  1398
Flags: W
29083
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1399
DStem: 102 498 121 533 627 250 675 272 627 250 675 228 102 2 121 -33
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1400
Fore
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1401
1498.5 506.16 m 2,0,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1402
 268.62 -73.2598 l 2,1,2
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1403
 239.76 -88.7998 239.76 -88.7998 228.66 -88.7998 c 0,3,4
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1404
 210.345 -88.7998 210.345 -88.7998 197.302 -75.7575 c 128,-1,5
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1405
 184.26 -62.7152 184.26 -62.7152 184.26 -44.4004 c 0,6,7
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1406
 184.26 -29.3226 184.26 -29.3226 193.764 -18.2339 c 128,-1,8
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1407
 203.269 -7.14528 203.269 -7.14528 226.44 4.44043 c 2,9,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1408
 1391.94 555 l 1,10,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1409
 226.44 1105.56 l 2,11,12
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1410
 203.269 1117.15 203.269 1117.15 193.764 1128.23 c 128,-1,13
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1411
 184.26 1139.32 184.26 1139.32 184.26 1154.4 c 0,14,15
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1412
 184.26 1172.72 184.26 1172.72 197.302 1185.76 c 128,-1,16
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1413
 210.345 1198.8 210.345 1198.8 228.66 1198.8 c 0,17,18
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1414
 239.76 1198.8 239.76 1198.8 268.62 1183.26 c 2,19,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1415
 1498.5 603.84 l 2,20,21
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1416
 1519.87 594.128 1519.87 594.128 1530.27 583.721 c 128,-1,22
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1417
 1540.68 573.315 1540.68 573.315 1540.68 555 c 128,-1,23
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1418
 1540.68 536.685 1540.68 536.685 1530.27 526.279 c 128,-1,24
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1419
 1519.87 515.872 1519.87 515.872 1498.5 506.16 c 2,0,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1420
EndSplineSet
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1421
EndChar
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1422
StartChar: question
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1423
Encoding: 63 63 34
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1424
Width: 1047
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1425
VWidth: 2220
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1426
Flags: W
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1427
HStem: 0 235.32<460.65 525.03> 415.14 46.62<479.52 507.27> 1163.28 202.02<204.24 219.78> 1516.26 48.84<448.44 616.05>
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1428
VStem: 124.32 204.24<1236.54 1315.35> 375.18 235.32<85.47 149.85> 466.2 55.5<468.42 475.08 475.08 552.78> 737.04 184.26<1218.78 1322.01>
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1429
Fore
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1430
521.7 552.78 m 2,0,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1431
 521.7 475.08 l 2,1,2
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1432
 521.7 459.896 521.7 459.896 521.469 453.102 c 128,-1,3
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1433
 521.238 446.309 521.238 446.309 519.853 437.118 c 128,-1,4
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1434
 518.468 427.927 518.468 427.927 515.466 424.331 c 128,-1,5
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1435
 512.465 420.734 512.465 420.734 506.924 417.937 c 128,-1,6
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1436
 501.383 415.14 501.383 415.14 492.84 415.14 c 0,7,8
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1437
 474.192 415.14 474.192 415.14 470.196 425.13 c 128,-1,9
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1438
 466.2 435.12 466.2 435.12 466.2 468.42 c 2,10,-1
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1439
 466.2 568.32 l 2,11,12
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1440
 466.2 642.144 466.2 642.144 483.474 722.356 c 128,-1,13
a99ed3dc18c7 bold version: math glyphs from plain IsabelleMono;
wenzelm
parents:
diff changeset
  1441
 500.748 802.567 500.748 802.567 546.606 897.505 c 128,-1,14