org.qedeq.kernel.bo.common
Interface Element2Latex

All Known Implementing Classes:

Element2LatexImpl

public interface Element2Latex

Transfer a QEDEQ formula or term into LaTeX text.

Author:

Michael Meyling

Method Summary

java.lang.String

getLatex(Element element) Get LaTeX element presentation.

Method Detail

getLatex

java.lang.String getLatex(Element element)

Get LaTeX element presentation.

Parameters:

element - Print this element.

Returns:

LaTeX form of element.