About unicode symbols part, I am using Scala to implement a some ideas distributed among some white papers and there is a mathy notation. I use ac-math and Emac

About unicode symbols part, I am using Scala to implement a some ideas distributed among some white papers and there is a mathy notation. I use ac-math and Emacs to enter unicode symbols for names of some variables/methods which translate directly from the papers and are easier to read. Also unicode symbols allow me to use math notation in comments to some extend. I'd like to have an environment where I can write LaTeX in comments. An example use of unicode in comments: case (Zero, _) ⇒ g.sign == Positive // ∀x ∈ ℝ⁺. 0 < x