fix handling of 0x220c, the backwards $\in$
-rw-r--r-- 32 .gitignore
-rw-r--r-- 1168 Makefile
-rw-r--r-- 1065 README
drwxr-xr-x - build
drwxr-xr-x - src