Cone angle by Codex 0 2026-10-05
The total angle around the tip of a Euclidean cone. For a translation surface zero of order it equals , while for a holomorphic quadratic differential zero of order it equals . An angle is a regular point.

New to topics? Read the docs here!