<row>
<entry/>
<entry>|</entry>
- <entry><emphasis role="bold">left</emphasis> <emphasis role="bold">associative</emphasis></entry>
+ <entry><emphasis role="bold">right</emphasis> <emphasis role="bold">associative</emphasis></entry>
<entry>Right associative</entry>
</row>
<row>
<row>
<entry id="grammar.unparsed_ast">&unparsed_ast;</entry>
<entry>::=</entry>
- <entry><emphasis role="bold">@{</emphasis>&term;<emphasis role="bold">}</emphasis></entry>
+ <entry><emphasis role="bold">@{</emphasis>&enriched_term;<emphasis role="bold">}</emphasis></entry>
<entry>A content level AST (a term which is parsed, but not disambiguated).</entry>
</row>
<row>
</tgroup>
</table>
+ <table frame="topbot" rowsep="0" colsep="0" role="grammar">
+ <title>enriched_term</title>
+ <tgroup cols="4">
+ <tbody>
+ <row>
+ <entry id="grammar.enriched_term">&enriched_term;</entry>
+ <entry>::=</entry>
+ <entry>〈〈A term that may contain occurrences of &unparsed_meta;, even as variable names in binders, and occurrences of &csymbol;〉〉</entry>
+ <entry>&TODO;</entry>
+ </row>
+ </tbody>
+ </tgroup>
+ </table>
+
<table frame="topbot" rowsep="0" colsep="0" role="grammar">
<title>unparsed_meta</title>
<tgroup cols="4">
<row>
<entry></entry>
<entry>|</entry>
- <entry><emphasis role="bold">\frac</emphasis> &layout; &layout;</entry>
+ <entry>&layout; <emphasis role="bold">\frac</emphasis> &layout;</entry>
<entry>Fraction</entry>
</row>
+ <row>
+ <entry></entry>
+ <entry>|</entry>
+ <entry><emphasis role="bold">\infrule</emphasis> &layout; &layout; &layout;</entry>
+ <entry>Inference rule (premises, conclusion, rule name)</entry>
+ </row>
<row>
<entry></entry>
<entry>|</entry>
<entry>List of layouts separated by <command>sep</command> (default:
any blank)</entry>
</row>
+
<row>
<entry></entry>
<entry>|</entry>
<entry>Non empty list of layouts separated by <command>sep</command>
(default: any blank)</entry>
</row>
+
+ <row>
+ <entry></entry>
+ <entry>|</entry>
+ <entry><emphasis role="bold">mstyle</emphasis> &id; value (&layout;)
+ </entry>
+ <entry>Style attributes like color #ff0000</entry>
+ </row>
+
+ <row>
+ <entry></entry>
+ <entry>|</entry>
+ <entry><emphasis role="bold">mpadded</emphasis> &id; value (&layout;)
+ </entry>
+ <entry>padding attributes like width -150%</entry>
+ </row>
+
+ <row>
+ <entry></entry>
+ <entry>|</entry>
+ <entry><emphasis role="bold">maction</emphasis> (&layout;)
+ [ (&layout;) … ]
+ </entry>
+ <entry>Alternative notations (output only)</entry>
+ </row>
+
+
</tbody>
</tgroup>
</table>
<row>
<entry></entry>
<entry>|</entry>
- <entry><emphasis role="bold">_</emphasis></entry>
+ <entry><emphasis role="bold">?</emphasis></entry>
<entry>An implicit parameter</entry>
</row>
<row>