Definition:Integer/Formal Definition/Notation

Definition
Let $\Z$ be the integers defined as a set of ordered pairs of natural numbers.

We have that $\left[\!\left[{\left({a, b}\right)}\right]\!\right]_\boxminus$ is an equivalence class of ordered pairs of natural numbers under the congruence relation $\boxminus$.

As this notation is cumbersome, it is commonplace though technically incorrect to streamline it to $\left[\!\left[{a, b}\right]\!\right]_\boxminus$, or $\left[\!\left[{a, b}\right]\!\right]$.

This is generally considered acceptable, as long as it is made explicit as to the precise meaning of $\left[\!\left[{a, b}\right]\!\right]$ at the start of any exposition.