“linea (perpendiculariter incidens),” IDeAL, accessed November 22, 2024, https://ideal.irht.cnrs.fr/document/660855.