+newpath 376 818 moveto
+336 806 272 787 223 772 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 224 769 moveto
+213 769 lineto
+222 775 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 224 769 moveto
+213 769 lineto
+222 775 lineto
+closepath
+stroke
+end grestore
+
+% Matita -> hgdome
+newpath 454 827 moveto
+524 814 562 831 610 776 curveto
+643 737 629 713 629 662 curveto
+629 662 629 662 629 386 curveto
+629 334 606 278 590 244 curveto