Defining and using symmetries