Source TeX:
-3 \notin \text{dom}f.