Definition of rules for symmetry-B