Adding more symbols to EncoderLaTeX

Authored by thomasfischer on Apr 13 2019, 9:10 PM.