emptyset.glif 3.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687
  1. <?xml version="1.0" encoding="UTF-8"?>
  2. <glyph name="emptyset" format="2">
  3. <advance width="1233"/>
  4. <unicode hex="2205"/>
  5. <outline>
  6. <contour>
  7. <point x="64" y="208" type="line" name="hr00"/>
  8. <point x="183" y="327" type="line"/>
  9. <point x="130" y="396"/>
  10. <point x="80" y="497"/>
  11. <point x="80" y="642" type="curve" smooth="yes" name="sh01"/>
  12. <point x="80" y="791"/>
  13. <point x="132" y="918"/>
  14. <point x="237" y="1023" type="curve" smooth="yes"/>
  15. <point x="343" y="1129"/>
  16. <point x="470" y="1182"/>
  17. <point x="618" y="1182" type="curve" smooth="yes" name="av01"/>
  18. <point x="764" y="1182"/>
  19. <point x="864" y="1130"/>
  20. <point x="933" y="1077" type="curve"/>
  21. <point x="1052" y="1196" type="line" name="av02"/>
  22. <point x="1171" y="1077" type="line"/>
  23. <point x="1052" y="958" type="line"/>
  24. <point x="1102" y="889"/>
  25. <point x="1153" y="790"/>
  26. <point x="1153" y="644" type="curve" smooth="yes" name="sh02"/>
  27. <point x="1153" y="495"/>
  28. <point x="1101" y="369"/>
  29. <point x="996" y="264" type="curve" smooth="yes"/>
  30. <point x="896" y="164"/>
  31. <point x="770" y="106"/>
  32. <point x="615" y="106" type="curve" smooth="yes" name="dv01"/>
  33. <point x="470" y="106"/>
  34. <point x="369" y="157"/>
  35. <point x="302" y="208" type="curve"/>
  36. <point x="183" y="89" type="line" name="av03"/>
  37. </contour>
  38. <contour>
  39. <point x="810" y="953" type="line"/>
  40. <point x="793" y="964"/>
  41. <point x="775" y="974"/>
  42. <point x="756" y="982" type="curve" smooth="yes" name="hr01"/>
  43. <point x="713" y="1000"/>
  44. <point x="667" y="1009"/>
  45. <point x="618" y="1009" type="curve" smooth="yes" name="sv01"/>
  46. <point x="513" y="1009"/>
  47. <point x="421" y="965"/>
  48. <point x="358" y="902" type="curve" smooth="yes" name="hr02"/>
  49. <point x="286" y="830"/>
  50. <point x="252" y="737"/>
  51. <point x="252" y="641" type="curve" smooth="yes" name="sh03"/>
  52. <point x="252" y="592"/>
  53. <point x="261" y="547"/>
  54. <point x="279" y="504" type="curve"/>
  55. <point x="286" y="485"/>
  56. <point x="296" y="468"/>
  57. <point x="307" y="451" type="curve"/>
  58. </contour>
  59. <contour>
  60. <point x="617" y="278" type="curve" smooth="yes" name="dv02"/>
  61. <point x="716" y="278"/>
  62. <point x="802" y="314"/>
  63. <point x="874" y="386" type="curve" smooth="yes"/>
  64. <point x="945" y="457"/>
  65. <point x="981" y="543"/>
  66. <point x="981" y="643" type="curve" smooth="yes" name="ah01"/>
  67. <point x="981" y="693"/>
  68. <point x="972" y="740"/>
  69. <point x="954" y="783" type="curve" smooth="yes" name="hr03"/>
  70. <point x="947" y="800"/>
  71. <point x="939" y="817"/>
  72. <point x="928" y="834" type="curve"/>
  73. <point x="426" y="332" type="line"/>
  74. <point x="442" y="321"/>
  75. <point x="462" y="312"/>
  76. <point x="477" y="305" type="curve" smooth="yes"/>
  77. <point x="516" y="288"/>
  78. <point x="566" y="278"/>
  79. </contour>
  80. </outline>
  81. <lib>
  82. <dict>
  83. <key>com.schriftgestaltung.Glyphs.lastChange</key>
  84. <string>2017-07-11 17:15:08 +0000</string>
  85. </dict>
  86. </lib>
  87. </glyph>