diff options
Diffstat (limited to 'dev/doc/naming-conventions.tex')
| -rw-r--r-- | dev/doc/naming-conventions.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dev/doc/naming-conventions.tex b/dev/doc/naming-conventions.tex index e7c8975b..34916494 100644 --- a/dev/doc/naming-conventions.tex +++ b/dev/doc/naming-conventions.tex @@ -1,6 +1,6 @@ \documentclass[a4paper]{article} \usepackage{fullpage} -\usepackage[latin1]{inputenc} +\usepackage[utf8]{inputenc} \usepackage[T1]{fontenc} \usepackage{amsfonts} @@ -299,7 +299,7 @@ element {\zero} and multiplicative binary operator (for \texttt{Z}, \texttt{Q} and \texttt{R}), \texttt{eq\_mul\_0} (for \texttt{NZ}). - Remark: The French school says ``integrité''. + Remark: The French school says ``integrité''. \itemrule{Nilpotency of binary operator {\op} wrt to its absorbing element zero in D}{Dop\_nilpotent} {forall x, op x x = zero} |