diff --git a/tex/iris.sty b/tex/iris.sty
index 269f266462037278d25b4dd5dae566dfaee43229..e3937c08bec50e3573a3bbfc999026852c821aed 100644
--- a/tex/iris.sty
+++ b/tex/iris.sty
@@ -86,6 +86,7 @@
 \newcommand{\dom}{\textlog{dom}}
 \newcommand{\cod}{\textlog{cod}}
 \renewcommand{\lim}{\textlog{lim}}
+\renewcommand{\min}{\textlog{min}}
 
 \newcommand{\Chains}{\textdom{Chains}}