Mersenne prime

Definition with symbols
A natural number $$N$$ is said to be a Mersenne prime if it satisfies the following equivalent conditions:


 * $$N$$ is prime and $$N = M_n$$ (a Mersenne number) for some $$n$$, viz $$N = 2^n - 1$$.