\newcommand{\fixpointsOf}{\textbf{\textit{fix}}}
\renewcommand{\L}{\mathcal{L}}
\newcommand{\lte}{\preceq}
\newcommand{\image}[1]{[#1]}
\newcommand{\define}{\coloneqq}
\newcommand{\union}{\cup}
\newcommand{\glb}{\bigwedge}
\newcommand{\lub}{\bigvee}