Alternating knot (source code)

= Alternating knot
{wiki}

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.