mirror at 0 −x x
x

x = · −x =