//
··
Figure
1% postulates.tex — The five postulates of Euclidean plane geometry.
2%
3% Postulates are recorded as rrxivremark blocks so the parser
4% addresses them but doesn't confuse them with falsifiable claims.
5
6\section*{Postulates}
7\label{sec:postulates}
8
9\begin{rrxivremark}[Postulate~1]
10\label{post:1}
11To draw a straight line from any point to any point.
12\end{rrxivremark}
13
14\begin{rrxivremark}[Postulate~2]
15\label{post:2}
16To produce a finite straight line continuously in a straight line.
17\end{rrxivremark}
18
19\begin{rrxivremark}[Postulate~3]
20\label{post:3}
21To describe a circle with any centre and distance.
22\end{rrxivremark}
23
24\begin{rrxivremark}[Postulate~4]
25\label{post:4}
26That all right angles are equal to one another.
27\end{rrxivremark}
28
29\begin{rrxivremark}[Postulate~5 (the parallel postulate)]
30\label{post:5}
31That, if a straight line falling on two straight lines makes the
32interior angles on the same side less than two right angles, the two
33straight lines, if produced indefinitely, meet on that side on which
34are the angles less than the two right angles.
35\end{rrxivremark}
36