fixpoint-theory-nov24/notation.tex

2 lines
49 B
TeX
Raw Normal View History

2024-11-01 14:19:32 -06:00
\newcommand{\fixpointsOf}{\textbf{\textit{fix}}}