User blog comment:Googleaarex/Warp Notation/@comment-24509095-20140418094709

i don't understand how (1) has level $$\theta(\theta_\Omega(0))$$