Labels Milestones
BackVertex 4.666841e-002 -5.842235e+000 2.467858e+001 vertex 4.666112e-002 -5.840499e+000 2.464800e+001 vertex -3.990623e+000 -2.370713e+000 2.464800e+001 facet normal -0.547914 -0.449667 0.7054 vertex 6.85323.
- 0.196852" d="m 3.5236175,7.2834656 h -0.19685" d="M.
- 4.883283e-001 -8.381327e-001 2.430414e-001 facet normal 0.0810354.
- H_wall(h=4, l=slider_spacing*10-1, th=1); v_wall(h=4.