This is LaTeX code:

[latex]
 
S(S(\dots{}S(a)\dots)) < 10^4
 
[/latex]