User blog comment:Googleaarex/Warp Notation/@comment-24509095-20140329182613/@comment-24509095-20140417100540

I finallt understood this rule but it still is wrong anyway because there would be some cases like: n%_(%%) which expands to n%_(%n%_(%n%_(%n%_...))) which is ... a bad expression.

Also: (o noez)

1. What exactly does 3%% expand to? 3%3% 3 or 3%3% 3% 3 ?

2. (00) is equal to (0), right?

3. By "blahblah has level $$\alpha$$", you mean "blahblah has level $$\psi(\psi_\alpha(0))$$", right?

4. You should change Rule 5.1 to "n # ( {# 2 }-> x0) = n # ( # 2)"