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