2024-11-01 14:19:32 -06:00
|
|
|
\newcommand{\fixpointsOf}{\textbf{\textit{fix}}}
|
2024-11-04 11:03:36 -07:00
|
|
|
\renewcommand{\L}{\mathcal{L}}
|
|
|
|
|
\newcommand{\lte}{\preceq}
|
2024-11-04 15:42:25 -07:00
|
|
|
\newcommand{\image}[1]{[#1]}
|
|
|
|
|
\newcommand{\define}{\coloneqq}
|
2024-11-07 06:47:25 -07:00
|
|
|
\newcommand{\union}{\cup}
|
|
|
|
|
\newcommand{\glb}{\bigwedge}
|
|
|
|
|
\newcommand{\lub}{\bigvee}
|
