emptyset.glif 3.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687
  1. <?xml version="1.0" encoding="UTF-8"?>
  2. <glyph name="emptyset" format="1">
  3. <advance width="1233"/>
  4. <unicode hex="2205"/>
  5. <outline>
  6. <contour>
  7. <point x="74" y="198" type="line" name="sh02"/>
  8. <point x="191" y="315" type="line"/>
  9. <point x="130" y="392"/>
  10. <point x="80" y="498"/>
  11. <point x="80" y="643" type="curve" name="sh01" smooth="yes"/>
  12. <point x="80" y="792"/>
  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="617" y="1182" type="curve" name="av01" smooth="yes"/>
  18. <point x="765" y="1182"/>
  19. <point x="867" y="1128"/>
  20. <point x="945" y="1069" type="curve"/>
  21. <point x="1062" y="1186" type="line" name="av02"/>
  22. <point x="1161" y="1087" type="line" name="sh04"/>
  23. <point x="1043" y="969" type="line"/>
  24. <point x="1103" y="894"/>
  25. <point x="1153" y="789"/>
  26. <point x="1153" y="644" type="curve" name="sh03" smooth="yes"/>
  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" name="av03" smooth="yes"/>
  33. <point x="471" y="106"/>
  34. <point x="365" y="156"/>
  35. <point x="291" y="217" type="curve"/>
  36. <point x="173" y="99" type="line" name="av04"/>
  37. </contour>
  38. <contour>
  39. <point x="844" y="968" type="line"/>
  40. <point x="820" y="985"/>
  41. <point x="797" y="999"/>
  42. <point x="768" y="1011" type="curve" name="hr01" smooth="yes"/>
  43. <point x="721" y="1031"/>
  44. <point x="671" y="1041"/>
  45. <point x="619" y="1041" type="curve" name="sv01" smooth="yes"/>
  46. <point x="515" y="1041"/>
  47. <point x="413" y="1001"/>
  48. <point x="336" y="925" type="curve" name="hr02" smooth="yes"/>
  49. <point x="256" y="845"/>
  50. <point x="221" y="744"/>
  51. <point x="221" y="640" type="curve" name="sh05" smooth="yes"/>
  52. <point x="221" y="587"/>
  53. <point x="230" y="538"/>
  54. <point x="249" y="492" type="curve" smooth="yes"/>
  55. <point x="260" y="465"/>
  56. <point x="275" y="440"/>
  57. <point x="292" y="416" type="curve"/>
  58. </contour>
  59. <contour>
  60. <point x="614" y="246" type="curve" name="sv02" smooth="yes"/>
  61. <point x="718" y="246"/>
  62. <point x="821" y="286"/>
  63. <point x="897" y="362" type="curve" smooth="yes"/>
  64. <point x="976" y="441"/>
  65. <point x="1012" y="541"/>
  66. <point x="1012" y="645" type="curve" name="ah01" smooth="yes"/>
  67. <point x="1012" y="696"/>
  68. <point x="1003" y="748"/>
  69. <point x="984" y="795" type="curve" name="hr03" smooth="yes"/>
  70. <point x="975" y="818"/>
  71. <point x="959" y="848"/>
  72. <point x="943" y="869" type="curve"/>
  73. <point x="391" y="317" type="line"/>
  74. <point x="414" y="300"/>
  75. <point x="443" y="285"/>
  76. <point x="464" y="276" type="curve" smooth="yes"/>
  77. <point x="511" y="256"/>
  78. <point x="563" y="246"/>
  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>