Need those for webui latex representation.
- tabular env in automata is not supported by katex but I can easily replace the latex string in webui
- eqnarray env eqnarray is not supported by katex but not that easily replaceable so I changed that to use simple array
- escaped '{' for latex