almost complete implementation of real-time LaTeX highlighting!
almost complete implementation of real-time LaTeX highlighting!