Added Isabelle highlighting/unicode token support