* Revert some symbol changes as a result of user feedback.

* Fix fonts on Android devices

Thank you for your valuable feedback!