diff --git a/spec.html b/spec.html
index f10859200f4..5619e9a9964 100644
--- a/spec.html
+++ b/spec.html
@@ -40776,6 +40776,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] `)`