LaTeX export abilities of the kernel. Conversion from qedeq module into LaTeX is possible.