User:Ikosarakt1/Weak hyper-operators

\(n \downarrow n = n \uparrow n\) \(n \downarrow\downarrow n < n \uparrow\uparrow 3 (a <= b-1\)