Fix \not (U+E020) RBearing (width) (#1878)

Fixes #1842 on Safari.

Also removed unused extra code (notin and noteq).
This commit is contained in:
ylemkimon
2019-03-21 21:21:37 +09:00
committed by Erik Demaine
parent 64d1c4e590
commit ff5ebea681