#### 6.1.3.1 Equality Terms

The eq-oprs `=`, `==`, and `\eq` all mean the same thing. For example, the equality-terms `3 = 3`, `3 == 3`, and `3 \eq 3` all are true. Similarly, all of `~=`, `!=`, and `\neq` mean the same thing. For example, `4 ~= 5`, `4 != 5`, and `4 \neq 5` are all true.

The lsl-op-terms (see section 6.1.5 LSL Operator Terms) on either side of an eq-opr must have the same sort. The sort of a term with an eq-opr in it, such as `i = 2`, is `Bool`.

The meaning of `=` (and its synonyms `==` and `\eq`) is standard. The standard meaning is that the two lsl-op-terms must be equal.

The meaning of `~=` (and its synonyms `!=`, and `\neq`) is the negation of the meaning of `=`. That is, `E1 ~= E2` is true if `E1 = E2` are not equal.