<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></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>