Switch unicode notation

This always causes me problems, and this shouldn't have any negative side effects.