TeX source:

isPhil (x)