tools to use unicode characters for math directly into the source files