Source TeX:
A={x∈R ∣ 2≤x