experimenting a bit more with Isabelle
mentioning unicode-chars.sty and lstsemantic.sty
more math characters