Źródło TeX:

F^N\subseteq X