How do you write conditions in quantifiers?

[fathom bear]

Quick question, there are often times where I have a variable contained in a set (reals, naturals...) AND needs to be higher/lower than something, I can't seem to write that in mathematical notation correctly.

For instance, how do you write "for each natural number n lower than 5" with quantifiers correctly?

[restive dragon]

$n \in

{1, \dots, 5}

{k \in \mathbb{N}, \setminus n \leq 5}

\mathbb{N}_5 \ \text{(if you define that notation, it's not standard)}

[1, 5] \cap \mathbb{N} \ \text{(bit dirty, to be avoided in general)}

[\vert 1, 5 \vert ]$

[rocky ivy]

themateo713
Compile Error! Click the reaction for more information.
(You may edit your message to recompile.)

[restive dragon]

In the last, the vertical bars are inside the brackets, but I can't type that

[fathom bear]

thanks, the second option seems the most straightforward to me

[fathom bear]

i forgot about that notation lol

[restive dragon]

French notation though, idk if it's standard elsewhere

[fathom bear]

though what does the k do here?

[restive dragon]

Meant k <= 5

Obviously

Could replace it with n as well

Since it's a silent variable, it doesn't matter

[fathom bear]

oh ok cool

[wise wraith]

.solved