TeX source:
(1-\phi^2_1)>0