diff --git a/Project.toml b/Project.toml
index e06137b..6bfcbdf 100644
--- a/Project.toml
+++ b/Project.toml
@@ -1,7 +1,7 @@
 name = "ThickNumbers"
 uuid = "b57aa878-5b76-4266-befc-f8e007760995"
 authors = ["Tim Holy <tim.holy@gmail.com> and contributors"]
-version = "1.1.2"
+version = "1.1.3"
 
 [deps]
 LinearAlgebra = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e"
diff --git a/src/ThickNumbers.jl b/src/ThickNumbers.jl
index 0d75f93..4bf100a 100644
--- a/src/ThickNumbers.jl
+++ b/src/ThickNumbers.jl
@@ -406,7 +406,7 @@ const ⪾ = is_strict_supset_tn
 """
     isempty(x::ThickNumber)
 
-Returns `true` if `hival(x) < loval(x)` is empty, `false` otherwise.
+Returns `true` if the span of `x` is empty (`hival(x) < loval(x)`), `false` otherwise.
 """
 Base.isempty(x::ThickNumber) = hival(x) < loval(x)
 
@@ -516,7 +516,7 @@ Base.:(<)(::ThickNumber, ::ThickNumber) = throw(FPTNException(<, "≺ (\\prec-TA
 
 Returns `true` if `loval(a) > hival(b)`, `false` otherwise. Use `\\succ`-TAB to type.
 """
-≻(a::ThickNumber, b::ThickNumber) = hival(a) > loval(b)
+≻(a::ThickNumber, b::ThickNumber) = loval(a) > hival(b)
 Base.:(>)(::ThickNumber, ::ThickNumber) = throw(FPTNException(>, "≻ (\\succ-TAB)"))
 
 """
@@ -532,7 +532,7 @@ Base.:(<=)(::ThickNumber, ::ThickNumber) = throw(FPTNException(<=, "⪯ (\\prece
 
 Returns `true` if `loval(a) ≥ hival(b)`, `false` otherwise. Use `\\succeq`-TAB to type.
 """
-⪰(a::ThickNumber, b::ThickNumber) = hival(a) >= loval(b)
+⪰(a::ThickNumber, b::ThickNumber) = loval(a) >= hival(b)
 Base.:(>=)(::ThickNumber, ::ThickNumber) = throw(FPTNException(>=, "⪰ (\\succeq-TAB)"))
 
 
diff --git a/test/runtests.jl b/test/runtests.jl
index b3c562c..6d035f7 100644
--- a/test/runtests.jl
+++ b/test/runtests.jl
@@ -70,6 +70,11 @@ using MidRadArith
     @test !isless_tn(Interval(1, 2), 2)
     @test Interval(1, 2) ⪯ Interval(2, 3)
     @test Interval(2, 3) ⪰ Interval(1, 2)
+    # Overlapping spans are unordered.
+    @test !(Interval(2, 4) ≻ Interval(1, 3))
+    @test !(Interval(1, 3) ≺ Interval(2, 4))
+    @test !(Interval(2, 4) ⪰ Interval(1, 3))
+    @test !(Interval(1, 3) ⪯ Interval(2, 4))
     @test issubset_tn(Interval(1, 2), Interval(1, 2))
     @test Interval(1, 2) ⫃ Interval(1, 2)
     @test_throws FPTNException issubset(Interval(1, 2), Interval(1, 2))