\usepackage{mathptmx}
\let\le\leqslant
\let\ge\geqslant

\directlua{ dofile"macros.lua" }
\newcommand\mat[1]{ \directlua{tex.print(tomatrix("#1"))} }

\newcommand\Dioph{\mathop{\textit{Dioph}\nolimits}}
\newcommand\diag{\mathop{\textrm{diag}\nolimits}}

\newcommand\qed{\square}
