TeX source:
\chi \to \phi \lor \chi