Reflect a point across a line by perpendicular projection and doubling the segment

Original label: Reflect a point across a line by perpendicular projection and doubling the segment