Zdroj TeX:

(∃\small X)(\small X = \small X)