User blog:Mh314159/A new approach, and a typography question

After a productive discussion in another blog post, I have stopped trying to improve my bracket-string-cycle system and am starting over. I know I said I was going to take a break, but something came to mind and I had to get it down. I guess big numbers have become something like a disease with me! Anyway, I have a new notation that starts with successorship and at [1,2] I think it falls somewhere on Graham's sequence, bigger than G3 I think. I'd like to post my logic so others could tell me if I've gone wrong somewhere, but I need to be able to handle levels of subscripts and superscripts and I don't know how. I downloaded a LaTeX editor GNU TEXmacs and it works on my system and I and made an expression and copied the LaTeX code to my clipboard and then I clicked the square rook of n symbol and pasted in the LaTeX code but it does not appear as an expression. Can anyone help?