diff --git a/doc/language/spec.html b/doc/language/spec.html
index a9dc8bb11..ed49b0ed3 100644
--- a/doc/language/spec.html
+++ b/doc/language/spec.html
@@ -1309,7 +1309,7 @@ <h3>Standard Library Reflection Functions</h3>
 <div class="sequent-rule"> \[\rule{object-has} {
 e ↓ o
 \\
-b = ∃f∈dom(o). o(f) = (\false, \_)
+b = f∈dom(o) ∧ o(f) ≠ (::, \_)
 } {
 \texttt{std.objectHas(}\textit{e},\textit{f}\texttt{)} ↓ b
 } \] </div>