User blog comment:TySkyo/TySkyo's Notation/@comment-28633611-20160805164518

Unless I'm mistaken:

Infinihyperplex ~ Rayo_(ωx2+5) (I₀) < Rayo(ωx2+6)(1000)

Can somebody please check that?