diff options
| author |  whitequark <whitequark@whitequark.org> | 2018-06-13 17:40:01 +0000 |
|---|---|---|
| committer | whitequark <whitequark@whitequark.org> | 2018-06-13 17:40:01 +0000 |
| commit | 0ec228dba23e24465e92f874f7d841a4bcaa3fbb (patch) | |
| tree | eb699a88acb50114b20511fd345b5f628d33c834 /doc/sphinx/addendum | |
| parent | ae9b65cc27a5a45442502e8119b2d282dcfaa5b4 (diff) | |
doc: fix typo.
Diffstat (limited to 'doc/sphinx/addendum')
| -rw-r--r-- | doc/sphinx/addendum/generalized-rewriting.rst | 2 |
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. |