I'm given the following predicate that I'm trying to understand from a course example.

$\forall n \in\mathbb N : n^2 \ge n$

is the colon for such that correct?

I understand that it reads as "for all elements in the natural set such that the square of n is greater or equal to n"

Should it be $\forall n \in\mathbb N, n^2 \ge n$? "for all elements in the natural set the square of $n$ is greater or equal to $n$"

it makes more sense to me this way. But I'm not sure if my assumption is correct.