Fuente TeX:

\{x: x=a^ib^i \wedge i\geq1 \}