public interface ExternalConverter
java.lang.String
getLaTeXString(java.lang.String externalCode)
java.lang.String getLaTeXString(java.lang.String externalCode)