Carol number

Etymology
First studied by Cletus Emmanuel, who named it after a friend, Carol G. Kirnon.

Noun

 * 1)  An integer of the form $$4^{n}-2^{n+1}-1$$.