diff --git a/rust/ares/src/jets_math.rs b/rust/ares/src/jets_math.rs
index af8b3fd..f4e2bad 100644
--- a/rust/ares/src/jets_math.rs
+++ b/rust/ares/src/jets_math.rs
@@ -727,4 +727,17 @@ mod tests {
         assert_math_jet_noun(s, jet_lth, &[atom_128, atom_128_b], NO);
         assert_math_jet_noun(s, jet_lth, &[atom_128_b, atom_128], YES);
     }
+
+    #[test]
+    fn test_lte() {
+        let ref mut s = init();
+        assert_math_jet_noun(s, jet_lte, &[atom_128, atom_96], NO);
+        assert_math_jet_noun(s, jet_lte, &[atom_96, atom_63], NO);
+        assert_math_jet_noun(s, jet_lte, &[atom_63, atom_96], YES);
+        assert_math_jet_noun(s, jet_lte, &[atom_63, atom_63], YES);
+        assert_math_jet_noun(s, jet_lte, &[atom_63, atom_24], NO);
+        assert_math_jet_noun(s, jet_lte, &[atom_128, atom_24], NO);
+        assert_math_jet_noun(s, jet_lte, &[atom_128, atom_128_b], NO);
+        assert_math_jet_noun(s, jet_lte, &[atom_128_b, atom_128], YES);
+    }
 }