Next: mpg-ref-term_less_than, Previous: mpg-ref-term_expansion, Up: mpg-bpr [Contents][Index]
@>/2
+Term1 @> +Term2
@>
Succeeds if Term1 is after Term2 in the standard order.
term
None.
ref-lte-cte.