The `eq-opr`s `=`

, `==`

, and `\eq`

all mean the same thing.
For example, the `equality-term`s `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-term`s
(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-term`s 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.

Go to the first, previous, next, last section, table of contents.