 Faithful irreducible representation of D8

For $D_8=⟨r,s:r^4=s^2=1,srs=r^{-1}⟩$, the matricesdefine a faithful irreducible two-dimensional complex representation.