Expression editor for mathematical statement forms

摘要

Embodiments of the present disclosure describe an expression editor for mathematical statement forms. For example, an expression to be edited is displayed along with a list of rules. The user may select a portion of the expression and activate a rule. A new expression is formed based on the activated rule.