85 lines
2.9 KiB
XML
85 lines
2.9 KiB
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<glyph name="emptyset" format="1">
|
|
<advance width="1233"/>
|
|
<unicode hex="2205"/>
|
|
<note>
|
|
emptyset
|
|
</note>
|
|
<outline>
|
|
<contour>
|
|
<point x="291" y="217" type="line"/>
|
|
<point x="366" y="157"/>
|
|
<point x="470" y="106"/>
|
|
<point x="615" y="106" type="curve" smooth="yes"/>
|
|
<point x="769" y="106"/>
|
|
<point x="896" y="164"/>
|
|
<point x="996" y="264" type="curve" smooth="yes"/>
|
|
<point x="1101" y="369"/>
|
|
<point x="1153" y="496"/>
|
|
<point x="1153" y="644" type="curve" smooth="yes"/>
|
|
<point x="1153" y="790"/>
|
|
<point x="1103" y="894"/>
|
|
<point x="1043" y="969" type="curve"/>
|
|
<point x="1161" y="1087" type="line"/>
|
|
<point x="1062" y="1186" type="line"/>
|
|
<point x="945" y="1069" type="line"/>
|
|
<point x="868" y="1129"/>
|
|
<point x="764" y="1182"/>
|
|
<point x="617" y="1182" type="curve" smooth="yes"/>
|
|
<point x="469" y="1182"/>
|
|
<point x="342" y="1128"/>
|
|
<point x="237" y="1023" type="curve" smooth="yes"/>
|
|
<point x="132" y="918"/>
|
|
<point x="80" y="791"/>
|
|
<point x="80" y="643" type="curve" smooth="yes"/>
|
|
<point x="80" y="497"/>
|
|
<point x="131" y="392"/>
|
|
<point x="191" y="315" type="curve"/>
|
|
<point x="74" y="198" type="line"/>
|
|
<point x="173" y="99" type="line"/>
|
|
</contour>
|
|
<contour>
|
|
<point x="563" y="246"/>
|
|
<point x="511" y="256"/>
|
|
<point x="464" y="276" type="curve" smooth="yes"/>
|
|
<point x="443" y="285"/>
|
|
<point x="414" y="300"/>
|
|
<point x="391" y="317" type="curve"/>
|
|
<point x="943" y="869" type="line"/>
|
|
<point x="959" y="848"/>
|
|
<point x="975" y="817"/>
|
|
<point x="984" y="795" type="curve" smooth="yes"/>
|
|
<point x="1003" y="748"/>
|
|
<point x="1012" y="696"/>
|
|
<point x="1012" y="645" type="curve" smooth="yes"/>
|
|
<point x="1012" y="542"/>
|
|
<point x="975" y="440"/>
|
|
<point x="897" y="362" type="curve" smooth="yes"/>
|
|
<point x="821" y="287"/>
|
|
<point x="718" y="246"/>
|
|
<point x="614" y="246" type="curve" smooth="yes"/>
|
|
</contour>
|
|
<contour>
|
|
<point x="275" y="440"/>
|
|
<point x="260" y="465"/>
|
|
<point x="249" y="492" type="curve" smooth="yes"/>
|
|
<point x="230" y="539"/>
|
|
<point x="221" y="589"/>
|
|
<point x="221" y="640" type="curve" smooth="yes"/>
|
|
<point x="221" y="743"/>
|
|
<point x="257" y="846"/>
|
|
<point x="336" y="925" type="curve" smooth="yes"/>
|
|
<point x="413" y="1001"/>
|
|
<point x="516" y="1041"/>
|
|
<point x="619" y="1041" type="curve" smooth="yes"/>
|
|
<point x="670" y="1041"/>
|
|
<point x="721" y="1031"/>
|
|
<point x="768" y="1011" type="curve" smooth="yes"/>
|
|
<point x="797" y="999"/>
|
|
<point x="820" y="985"/>
|
|
<point x="844" y="968" type="curve"/>
|
|
<point x="292" y="416" type="line"/>
|
|
</contour>
|
|
</outline>
|
|
</glyph>
|