A Java syntax highlghting toolkit for logical and mathematical expressions.