remark. 可计算和可排版是不同能力[#74]

可以直接把Semantic值交给Notation包装：

括号只影响排版偏好，不修改多项式term。相反，◆:group会把显式分组记录在Semantic值的展示属性中，数学等式仍基于term判断。排版节点不可以传进数学计算API。