Change some uses of = to \defeq in definitions.