2024-11-04 11:03:36 -07:00
|
|
|
\newcommand{\definition}[2]{\hypertarget{glossary:#1}{#2}}
|
|
|
|
|
\newcommand{\definitionLink}[2]{\hyperlink{glossary:#1}{#2}\xspace}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
\newcommand{\Monotone}{\definitionLink{monotone}{monotone}}
|
|
|
|
|
\newcommand{\Image}{\definitionLink{image}{monotone}}
|
|
|
|
|
\let\imageNoLink\image
|
|
|
|
|
\renewcommand{\image}[1]{\imageNoLink{#1}}
|
2024-11-07 06:47:25 -07:00
|
|
|
\let\lubNoLink\lub
|
|
|
|
|
\renewcommand{\lub}{\definitionLink{lubglb}{\lubNoLink}}
|
|
|
|
|
\let\glbNoLink\glb
|
|
|
|
|
\renewcommand{\glb}{\definitionLink{lubglb}{\glbNoLink}}
|
2024-11-04 11:03:36 -07:00
|
|
|
\newcommand{\CompleteLattice}{\definitionLink{completelattice}{complete lattice}}
|
|
|
|
|
|
2024-11-07 06:47:25 -07:00
|
|
|
\let\topNoLink\top
|
|
|
|
|
\renewcommand{\top}{\definitionLink{topbot}{\topNoLink}}
|
|
|
|
|
\let\botNoLink\bot
|
|
|
|
|
\renewcommand{\bot}{\definitionLink{topbot}{\botNoLink}}
|
2024-11-04 11:03:36 -07:00
|
|
|
|
|
|
|
|
\let\fixpointsOfNoLink\fixpointsOf{}
|
|
|
|
|
\renewcommand{\fixpointsOf}{\definitionLink{fixpointsOf}{\fixpointsOfNoLink}}
|
