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?
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?