identity of ind
symmetry4.{\displays