Lack of consistency between notations of equality/assignment

[jihgfee]

The ILN currently uses different notation for equality/assignment in various places.

For one, definition is done using all of: =, ≡, :=, and \triangleq.

It could avoid confusion to make this notation consistent.