What does the "or" symbol mean as in the following post:
How to prove $\gcd(a,\gcd(b, c)) = \gcd(\gcd(a, b), c)$?
In particular, the symbol is used in the above linked post in the following definition of $\gcd(a, b)$:
Given integers $a$ and $b$, there is one and only one number $d$ with the following properties.
- $d \geq 0$
- $d\mid a$ and $d\mid b$
- $e\mid a$ and $e\mid b$ implies $e\mid d$.