Issue Summary

In addition to the default auto-formatting rules, enable a functionality that allows adding new rules. For example, >= can be automatically converted into ≥. It's hard to open the Symbols menu every time to use ≥