GUI: aliases for expressions entering invisible parentheses
windsteiger opened this issue · comments
Better than using precedence for grouping
windsteiger / Theorema
Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica