A straight line is said to touch a circle which, meeting the circle and being produced, does not cut the circle.
lines 74–74 in main.tex