Class TeXSymbolParser


  • public class TeXSymbolParser
    extends java.lang.Object
    Parses TeX symbol definitions from an XML-file.
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      java.util.Map<java.lang.String,​SymbolAtom> readSymbols()  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait