3.7.82. Difference

Denotes that the definition of a constraint involves one or several differences between pairs of variables.