diff --git a/ansi-tests/ansi-aux.lsp b/ansi-tests/ansi-aux.lsp
index d179a7d51850deb4ccb659f24508cab2fbce277a..20aba288aa6f3aad8d24f55def851ab870527f36 100644
--- a/ansi-tests/ansi-aux.lsp
+++ b/ansi-tests/ansi-aux.lsp
@@ -94,6 +94,10 @@ Results: ~A~%" expected-number form n results))))
   "Like =, but guaranteed to return T for true."
   (apply #'values (mapcar #'notnot (multiple-value-list (apply #'=  x args)))))
 
+(defun <=t (x &rest args)
+  "Like <=, but guaranteed to return T for true."
+  (apply #'values (mapcar #'notnot (multiple-value-list (apply #'<=  x args)))))
+
 (defun make-int-list (n)
   (loop for i from 0 below n collect i))