From 97053f19094b5e4585e4f466e6c7a43fc1af535d Mon Sep 17 00:00:00 2001
From: staffehn
Date: Sun, 3 Sep 2017 16:27:25 +0200
Subject: 2 Typos in 'Add Parametric Morphism' Documentation

---
 doc/refman/Setoid.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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}.\\
-- 
cgit v1.2.3