TeX source:

\bigwedge\limits_{x_1,x_2\in {D_f}} [{x_1}\neq{x_2}\Rightarrow{f(x_1)}\neq{f(x_2)}]