diff --git a/docs/src/content/docs/docs/language/constraints.mdx b/docs/src/content/docs/docs/language/constraints.mdx
index 05207a6..b28aba8 100644
--- a/docs/src/content/docs/docs/language/constraints.mdx
+++ b/docs/src/content/docs/docs/language/constraints.mdx
@@ -106,8 +106,8 @@ assignment by an [open rule](/docs/language/rules), but forbid that default assi
 accepting the solution only if an alternative value is derived.
 
 ```
-present 1 is { no? }.
-present 2 is { no? }.
+present 1 is? no.
+present 2 is? no.
 present 1 is yes :- <premises_1>.
 present 2 is yes :- <premises_2>.
 #forbid present _ is no.