Unicode support, minor UI changes for Formula View