In complexity theory, we sometimes have to speak about Knuth’s big omega notation. Or about Knuth’s big Omega notation? Here the confusion starts. I can imagine all four variants of "big/Big omega/Omega notation" and, if you like hyphens, all four variants of "big/Big-omega/Omega notation". I am typesetting a main-body text (not a paper's title).
Which versions are correct, which are preferrable without a hyphen?
Which versions are correct, which are preferrable with a hypen?
For those who are interested: the notation, in Knuth's variant, is
Ω(f) ≝ { g: naturals→naturals | ∃ real c>0 ∃ natural n ∀ natural m≥n : g(m) ≥ cf(m) } .
An aside: the little omega / little Omega function also exists, defined as
ω(f) ≝ { g: naturals→naturals | ∀ real c>0 ∃ natural n ∀ natural m≥n : g(m) > cf(m) } .