(* begin module t7.symmetry *)
(* end module t7.symmetry *)