Infinite dihedral group (source code)

= Infinite dihedral group
{wiki}

The infinite dihedral group is $\langle r,t\mid t^2=1,\ trt^{-1}=r^{-1}\rangle$.