Docentation

Docentation refers to the 200th hyperoperation. It is equal to \(a \uparrow^{198} b\), using up-arrow notation. The term was coined by Aarex Tiaokhiao.