Double Mersenne number

In mathematics, a double Mersenne number is a Mersenne number of the form

${\displaystyle M_{M_{p}}=2^{2^{p}-1}-1}$

where p is prime.