Perpendicular lines (source code)

= Perpendicular lines

Two intersecting <straight lines> are perpendicular if their angle is $90^\circ$. Their <direction vectors> have zero <dot product>.