Źródło TeX:

\underset{a,b \in (GF(p^k))^m, a \neq b}{\forall}