diff --git a/Number_types/doc_tex/NumberTypeSupport_ref/Quotient.tex b/Number_types/doc_tex/NumberTypeSupport_ref/Quotient.tex
index c31f4cd4a5a..05beb5e1d12 100644
--- a/Number_types/doc_tex/NumberTypeSupport_ref/Quotient.tex
+++ b/Number_types/doc_tex/NumberTypeSupport_ref/Quotient.tex
@@ -42,7 +42,8 @@ A \ccStyle{Quotient<NT>} \ccStyle{q} is represented as a pair of
 NT needs to have a constructor from T.}
 \ccGlue
 \ccConstructor{Quotient(const NT& n, const NT& d)}
-            {introduces the quotient \ccStyle{n/d}.}
+            {introduces the quotient \ccStyle{n/d}.\\
+            \ccPrecond $d \neq 0$.         }
 
 
 \ccOperations