Fuente TeX:

a_n \notin ( -1-\sqrt{2},-1+\sqrt{2} )