LatexString.java

package de.unisiegen.tpml.core.latex ;


/**
 * Provides the functionality to latex print a {@link LatexPrintable}..
 * 
 * @author Christian Fehler
 * @see LatexPrintable
 */
public interface LatexString
{
  /**
   * Returns the string representation of the latex string.
   * 
   * @return The string representation of the latex string.
   * @see Object#toString()
   */
  public String toString ( ) ;
}