Hyperbolic Geometry Theorem 6
Thm 6.6: For every line l and every point P not on l, let Q be the foot of the perpendicular from P to l. Then there are two unique nonopposite rays . and on opposite sides of that do not meet l and have the property that a ray emanating from P meets l if and only if it is between and . . Moreover these limiting rays are situated symmetrically about in the sense that ?XPQ ? ?X'PQ.