What does the symbol $\gg$ mean in Konyagin and Shkredov's paper on the sum-product estimates?

Question

The first page of Konyagin and Shkredov (2016) gives the Erdos–Szemeredi conjecture as the claim that for any finite set $A \subset \mathbb{R}$ and $\epsilon > 0$, $$\max\{|A+A|,|AA|\} \gg |A|^{2-\epsilon},$$ but they do not define the relation $\gg$ (which they use throughout the paper) between two real numbers. What do they mean? The symbol is usually used to mean "much greater than" in the context of some kind of approximation or limit, but I've never seen it used between two fixed real numbers in a formal theorem without explanation.

Answer 1

$f \ll g$ means $f = O(g)$, the same as big O notation.

See the first page here for a source (and an exposition of Solymosi's work towards the conjecture!).