Erik Demaine ee16854612 Fix \not and \neq on Chrome via new Unicode symbol U+E020 (#1852) ...

* Fix \not and \neq via new Unicode symbol U+E020

Fix #1842

* Fix font metrics

* Update screenshots

* Use lower case letters in code points

2019-02-21 16:06:29 +09:00

24 KiB

1024x768px

Raw History