User blog comment:Vel!/Symbol for eventual domination/@comment-99.185.0.100-20150903213459/@comment-2033667-20150904014723

No, that's actually a stronger condition. IIRC $$f\,[>]\,g \Leftrightarrow \forall k \exists m \forall n \geq m : f(n + k) > g(n)$$