Definition:Normal to Curve

Definition
Let $C$ be a curve embedded in the plane.

The normal to $C$ at a point $P$ is defined as the straight line which lies perpendicular to the tangent at $P$ and in the same plane as $P$.