@</2
+Term1 @< +Term2
@<
Succeeds if Term1 is before Term2 in the standard order.
None.
ref-lte-cte.