User blog comment:Googleaarex/Aarex's Extended Hyper-E Notation/@comment-24509095-20140321155110

Try doing some recursion on Rule 3. It'll make it look better