aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/sphinx/addendum/generalized-rewriting.rst
diff options
context:
space:
mode:
Diffstat (limited to 'doc/sphinx/addendum/generalized-rewriting.rst')
-rw-r--r--doc/sphinx/addendum/generalized-rewriting.rst2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/sphinx/addendum/generalized-rewriting.rst b/doc/sphinx/addendum/generalized-rewriting.rst
index e10e16c10..e4d24a1f7 100644
--- a/doc/sphinx/addendum/generalized-rewriting.rst
+++ b/doc/sphinx/addendum/generalized-rewriting.rst
@@ -106,7 +106,7 @@ argument.
Morphisms can also be contravariant in one or more of their arguments.
A morphism is contravariant on an argument associated to the relation
-instance :math`R` if it is covariant on the same argument when the inverse
+instance :math:`R` if it is covariant on the same argument when the inverse
relation :math:`R^{−1}` (``inverse R`` in Coq) is considered. The special arrow ``-->``
is used in signatures for contravariant morphisms.