I model these symmetry groups with matrices. But how can I write a translation as a matrix? My trick is to shift the plane into the 3d dimension, then the matrix
(1 0 1
0 1 0
0 0 1)
acts as a translation in x-direction on that affine plane.
Here we have D_infinity.