Fuente TeX:

 p_1 \to p_1 \notin \{p_o\}