Labels Milestones
Back0.0942433 0.995139 vertex -6.48017 -4.32991 5.97318 facet normal 9.513532e-01 -1.155796e-03 -3.081003e-01 facet normal -7.873540e-01 -1.326791e-03 6.164997e-01 facet normal 0.560089 0.682464 0.46962 facet normal -1.193566e-03 0.000000e+00 9.999993e-01 facet normal 0.95681 -0.29047 -0.0119413 facet normal 0.463058 -0.0914209 0.8816 vertex -4.98874 -4.61842 7.03804 facet normal 0.392551 0.734383 0.553702 facet normal 0.144955.
- "mirror") { module label(string, size=4, halign="center", font=default_label_font.
- Vertex -9.858900e+01 9.181025e+01 1.055000e+01 facet.