TeX source:

f: {0, , 2N  −1} → {0,1}