Jeroen Wouters / TeXmacs styles