Nomenclature and notation

This serves as a glossary for common terms and the notation that one may encounter in this Wiki.

Mersenne

Either Marin Mersenne or one of the special class of numbers that bear his name.

Mersenne number

Any number whether composite or prime of the form $2^x-1$. For one of these numbers to be prime, $x$ (the exponent) must also be prime. Thus, the notation of $2^p-1$ is generally used when discussing the search for a Mersenne prime.

Mersenne prime

A number that is itself prime and can be written in the form $2^x-1$. These are what GIMPS is searching for.

Mxx, M(x), and M_xx notation

Mxx can refer to one of 2 different things:

• The xxth Mersenne prime, in order of size from the smallest to largest. This is the primary and most common usage or
• The xxth Mersenne prime, in order of discovery (this usage is less common).

Generally Mxx would be the same in either case, but not so in the case of M45, M46, and M47. These were discovered in the order of M47, M45 (2 weeks later), then M46 (8 months later.). To avoid confusion, many speakers will use say "The xxth Mersenne prime found" or "The xxth known Mersenne prime" to indicate the second case listed above.

$M(x)$ is normally used to denote $x$ being run through the Mersenne function: $2^x-1$.

$M_x$ is sometimes used to denote the same function.

Confusion may sometimes occur when individuals refer to $2^{61}-1$ or $2^{127}-1$ or other known Mersenne primes as M61, M127, or such. The reader will generally understand that in cases where Mxx is larger than the largest known Mersenne prime, the writer is referring to Mexponent.

MMxx, MM(xx), and MM_xx notation

The MMxx notation is used to refer to a 'Double Mersenne' of a number:

$2^{(2^{xx}-1)}-1$

Often the parenthesis are not used, but implied, such as MM61 referring to $2^{(2^{61}-1)}-1$

HPxx, HP(xx), or HPxx(yy)

HP$xx(yy)$ refers to a Home prime. Unless noted with a subscript (for example $HPx{x}_8$), it refers to a decimal or base 10 home prime. $xx$ is the subject number (the one being tested or being discussed). $yy$ is the step that is being tested or referred to.

HP$xx(yy)=zz$ or HP$xx=zz$ may be seen. $zz$ can either be referring to the ulimate step value or the home prime for the subject number.