diff --git a/spec.html b/spec.html
index e8c575d5db..97f63ecca1 100644
--- a/spec.html
+++ b/spec.html
@@ -40801,6 +40801,8 @@ <h2>Syntax</h2>
           [+U] `(` `?` `=` Disjunction[+U, ?N] `)`
           [+U] `(` `?` `!` Disjunction[+U, ?N] `)`
           [~U] QuantifiableAssertion[?N]
+          `(` `?` `&lt;=` Disjunction[?U, ?N] `)`
+          `(` `?` `&lt;!` Disjunction[?U, ?N] `)`
 
         QuantifiableAssertion[N] ::
           `(` `?` `=` Disjunction[~U, ?N] `)`