Removed remark that symbols always commute.