CODEWITHSUNDEEP
formal-languagesformal-methodsvdm++
John Evans Solachuk
John Evans Solachuk

Reputation: 2085

What does opposite angle brackets <> mean?

Example 1

forall x,y in set {1,…,5} & X <> y => not m.temps(x) = m.temps(y)

Example 2

exists i,j in set inds m.temps & i <> j and m.temps(i) > 400 and m.temps(j) > 400

What does <> in those sentences mean?

Upvotes: 1

Views: 403

Answers (1)

Nick Battle
Nick Battle

Reputation: 703

It just means "not equal to". So "x <> y" is the same as "not x = y".

Upvotes: 3

Related Questions