TeX source:
f:S\to\{0,1\}