diff options
| author | Maxime Dénès | 2017-09-07 13:25:48 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-09-07 13:25:48 +0200 |
| commit | 0628fc8f0d9afaa9c88c578d1af517c87a28b74c (patch) | |
| tree | 46893ab1aa92920c9dcf533bbf83baa9f88914c7 | |
| parent | 695657b3edbd1bf9a1cadbb2c58b9c479b852111 (diff) | |
| parent | 97053f19094b5e4585e4f466e6c7a43fc1af535d (diff) | |
Merge PR #1016: 2 Typos in 'Add Parametric Morphism' Documentation
| -rw-r--r-- | doc/refman/Setoid.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/refman/Setoid.tex b/doc/refman/Setoid.tex index 6c79284389..0c8cd408f2 100644 --- a/doc/refman/Setoid.tex +++ b/doc/refman/Setoid.tex @@ -223,7 +223,7 @@ the following command. \comindex{Add Parametric Morphism} \begin{quote} - \texttt{Add Parametric Morphism} ($x_1 : \T_!$) \ldots ($x_k : \T_k$)\\ + \texttt{Add Parametric Morphism} ($x_1 : \T_1$) \ldots ($x_k : \T_k$) : (\textit{f $t_1$ \ldots $t_n$})\\ \texttt{~with signature} \textit{sig}\\ \texttt{~as id}.\\ |