User blog comment:PsiCubed2/How to make Deedlit's Mahlo-level notation more intuitive/@comment-27513631-20180807203627/@comment-35470197-20180808001416

@Rpakr

If you ask such a question, I wonder what you mean by symbols like \(F(F(\cdots))\) or \(F_{F_{\cdot}_{\cdot_{\cdot}}}\), which you often use. Are you using them without definitions?