Thread:Leftunknown/@comment-36856644-20191012090949

$$ \omega_{5} = (\omega > 0) \sub (\beta > 0) \and \omega \ne \beta $$ 