Name Last modified Size Description Parent Directory - log4j.xml 2011-07-30 12:45 1.3K proofTextMathOperato..> 2011-07-30 12:45 7.2K latexMathOperators.xml 2011-07-30 12:45 6.3K textMathOperators.xml 2011-07-30 12:45 7.2K