Update gallina-extensions.rst

I knew this feature existed but I did not remember the syntax and I could not find it in the manual

1 files changed, 1 insertions, 1 deletions

diff --git a/doc/sphinx/language/gallina-extensions.rst b/doc/sphinx/language/gallina-extensions.rst
index 294ac5799a..954e10340f 100644
--- a/doc/sphinx/language/gallina-extensions.rst
+++ b/doc/sphinx/language/gallina-extensions.rst
@@ -2228,7 +2228,7 @@ existential variable used in the same context as its context of definition is wr
    Check (fun x y => _) 0 1.
 
 Existential variables can be named by the user upon creation using
-the syntax ``?``\ `ident`. This is useful when the existential
+the syntax ``?``\ [`ident`]. This is useful when the existential
 variable needs to be explicitly handled later in the script (e.g.
 with a named-goal selector, see :ref:`goal-selectors`).