- textual<? textual1 textual2 textual3 ...procedure
- textual>? textual1 textual2 textual3 ...procedure
- textual<=? textual1 textual2 textual3 ...procedure
- textual>=? textual1 textual2 textual3 ...procedure
These procedures compare their arguments lexicographically and return #t if they are (respectively): monotonically increasing, monotonically decreasing, monotonically non-decreasing, or monotonically non-increasing.
These comparison predicates are transitive.