操作符规约关系表

查表之前，带标签的调用 〇于〇曰〇 按 〇于〇、第二个起的类型实参 〇又以〇 按 〇以〇、以“者也”收尾的签名 〇乃〇者也 与构造器 〇立〇者也 按 〇乃〇也、〇立〇也 查找；左右两侧都作此映射。

按源码次序逐条匹配，第一条命中生效；* 匹配任意完整操作符名，〇 为表达式槽。表中没有的组合按文末的后备规则决定。

卦曰〇（提案 00030）比所有中缀都紧：它作左操作符时对任何右操作符都左规约（第 1 条），所以 卦曰「名」 可以直接作调用的实参、列表的项；它出现在右边时是前缀，直接移入栈。

〇且〇、〇或〇 是短路的爻运算（提案 00022），只与彼此有关系：或 比 且 松，同级右结合；与其他中缀操作符混写须加括号，否则报“未定义优先级关系”。〇或有〇则〇 是 鉴 的后续分支：遇到它时前一分支体一律先收束，只有 鉴〇而〇 右规约，内层 鉴 照旧收下其后的分支；它的分支体向右延伸到下一个 或有、也、， 或右括号。

表中没有的组合依次按下列后备规则决定：

1. 右边是语句级中缀（〇者〇也、〇即〇也、〇乃〇也、〇立〇也）而左边不是：左规约，语句级中缀最后收束。
2. 右边是类型标注 〇属〇，左边是别的中缀：左规约，标注管住它左边的整个式子。
3. 右边是 〇而后〇、左边是中缀：左规约；左边是 〇而后〇、右边是中缀：右规约。而后 最松，同级右结合。
4. 算术与比较的中缀（加、减、乘、除以、大于、小于、等于、不等于）与 〇之〇、〇中〇 相遇时，之、中 先规约。
5. 非〇 后面直接接算术比较中缀或 于、以、与、合、接、且、或、而后 时没有关系，须加括号。
6. 左边是前缀写法（不以 〇 开头）、右边是中缀：右规约。
7. 其余组合没有关系，报“未定义优先级关系”。

本表从 雅言符集。豫 的「雅言规约关系」提取。