> nore: Best guess is, the three-pixel symbol is the application operator, and the other complicated one is the successor function?
> nore: Or could be in the other direction, but first one would make more sense (prefix notation, so non-ambiguous parsing)