Please look at Kerem's Number, Left-Reverse Factorial Notation and Right-Reverse Factorial Notation
ARTHUR(K) = K^¡¡¡...(K amount of ¡:s)...¡¡¡K¡¡¡...(K amount of ¡:s)...¡¡¡^K