Is there a symbol for the first n natural numbers or the natural numbers up to n?

640 Views Asked by At

This seems useful but I can't find anything like it.

For example, I might want to say that $\mathbb{N}_{7} = \{ 0, 1, 2, 3, 4, 5, 6 \}$ or $\mathbb{N}_{7} = \{ 0, 1, 2, 3, 4, 5, 6, 7 \}$. Is some sort of notation like that accepted?