\begin{definition}[Definition:Half Turn]
Context: Euclidean geometry.
A '''half turn''' is a rotation $r_\pi$, that is:
:whose angle is a straight angle: $180 \degrees$ or $\pi$ radians.
Category:Definitions/Geometric Rotations
\end{definition}