Name Last modified Size Description Parent Directory - log4j.xml 2013-02-10 13:15 1.3K proofTextMathOperato..> 2013-02-10 13:15 7.2K textMathOperators.xml 2013-02-10 13:15 7.2K latexMathOperators.xml 2013-02-10 13:15 6.3K