Źródło TeX:

0\leqslant\left\vert F\right\vert\leqslant n