diff --git a/docs/source/verific.rst b/docs/source/verific.rst
index aa93a75..74756be 100644
--- a/docs/source/verific.rst
+++ b/docs/source/verific.rst
@@ -88,10 +88,10 @@ planned for the near future:
   * ``first_match(`` *sequence* ``)``
   * *sequence* ``intersect`` *sequence*
   * *sequence* ``within`` *sequence*
-  * *expression* [=N]
-  * *expression* [=N:M]
-  * *expression* [->N]
-  * *expression* [->N:M]
+  * *expression* ``[=N]``
+  * *expression* ``[=N:M]``
+  * *expression* ``[->N]``
+  * *expression* ``[->N:M]``
 
 Properties
 ~~~~~~~~~~