Source TeX:
X\in F^\perp