Dihedral definitions