A prime is a natural number whose unique positive divisors are and

So we can write for : "the natural number is a prime"

:

What you call formal may depend on what symbols you can use. If only a symbol for multiplication is allowed (and the division one isn't), it becomes:

: