More negated relation symbols for the hol-unicode.el bindings.
Fix typographic bugs in Logic manual.

Thanks to Rob Arthan for the bug report.  Closes #208.