Minor format fix in documentation

Signed-off-by: Clifford Wolf <clifford@clifford.at>

diff --git a/docs/source/verific.rst b/docs/source/verific.rst
index aa93a753cab1f1df56c0ec13824d13ffb37080e5..74756befe51cbf75fdfe5d5d71f880d9f8a76733 100644 (file)
--- 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
 ~~~~~~~~~~