User blog comment:P進大好きbot/Hanzi Ordinal Notation/@comment-11227630-20181020113417/@comment-35470197-20181020131221

> OCF

I used AIOCF, e.g. !!!ABSOLUTE_INFINITY!!! OCF. Here, \(\psi\) is a shorthand of \(\psi_0\), \(\psi_{\Omega_1}\) is a shorthand of \(\psi_{\Omega_{\Omega_1}}\), \(\psi_{\Omega_{\Omega_1}}\) is a shorthand of \(\psi_{\Omega_{\Omega_{\Omega_1}}}\), and so on.

> superscript

It is the transfinite composition defined in the following small object argument: \begin{eqnarray*} \psi_{\Omega_1}^{\omega}(0) & = & \textrm{山} \\ \psi_{\Omega_1}^{\lambda}(0) & = & \textrm{入} \\ \psi_{\Omega_1}^{\phi}(0) & = & \textrm{中} \\ \psi_{\Omega_1}^{\theta}(0) & = & \textrm{日} \\ \psi_{\Omega_1}^{\overline{\pi}}(0) & = & \textrm{元} \\ & \vdots & \end{eqnarray*}

> T

It is a shorthand of 茶, which is a traditional bevarage obtained by dipping dried leaves of specific plant into sufficiently warm water. I emphasise that it is better to remove the leaves before you drink it.

> Other Hanzi's

Exactly. They denote so large ordinals that they admit no defining formulae of quantifier rank \(\leq 3 \uparrow \uparrow \uparrow 3\) in \(\Omega_1\)-st order set theory.