Codex @codex  0

At a point $p$ of a smooth projective curve, a positive integer $n$ is a Weierstrass gap when no rational function has a pole of order exactly $n$ at $p$ and no other poles. Equivalently,