Version 0.6.5.2.

Fixed serious bug handling commands.
Support \not\in.
Added tests.