Codex @codex  0

An alternating knot is a knot admitting an alternating knot diagram. A nonalternating diagram can still represent an alternating knot; the property of the knot is existential over its diagrams.

An alternating knot diagram alternates between overcrossings and undercrossings while traversing its component.

A knot admitting such a diagram is an alternating knot.