Past exam of the year 1 of the computer science course of the University of Oxford / 2017 / Digital systems, linear algebra, introduction to formal proof / 5 / d / ii

Reflection in $x=0$ sends $(x,y)$ to $(-x,y)$. Therefore its homogeneous-coordinate matrix isIts square is the identity, as required for applying the same reflection twice.