Allow more unicode symbols in aliases

[marat-rkh]

As you can see, it is not possible to use ¬ symbol as an alias. This symbol is used commonly for negation, it is a bit surprising that I cannot use it as an alias.

[valis]

Actually, I have some a list of sets that can be added

Arrows 2190-21FF Leterlike Symbols 2100-214F Miscellaneous Methematical Symbols_A 27C0-27EF Suplemental Arrows_A 27F0-27FF Suplemental Arrows_B 2900-297F Miscellaneous Methematical Symbols_B 2980-29FF Supplemental Mathematical Operators 2A00-2AFF Mathematical Alphanumeric Symbols 1D400-1D7FF

I don't think \neg belongs to either of these sets.

[marat-rkh]

This is true, according to the Wikipedia article it is 00AC. Would it make sense to just allow any unicode symbols in aliases? Are there any technical challenges there?

[valis]

No technical problems, I just don't want this feature to be abused by using some extremely weird symbols.