X-Git-Url: http://gitweb.michael.orlitzky.com/?p=mjotex.git;a=blobdiff_plain;f=mjo-arrow.tex;h=9bf9dc5555515e45f2a98b25d5c89310375d3b03;hp=60530cb71020f3902e3b4c11f9a6498814241f5e;hb=f9205a3b883c08499edfdd3f9d1a6170a6fc6755;hpb=e6bb4f9ae2d3785b331388703b8793e0409d30af diff --git a/mjo-arrow.tex b/mjo-arrow.tex index 60530cb..9bf9dc5 100644 --- a/mjo-arrow.tex +++ b/mjo-arrow.tex @@ -11,6 +11,18 @@ \usepackage{amsopn} \fi + +% The constant function that always returns its argument. +\newcommand*{\const}[1]{\operatorname{const}_{{#1}}} + +\ifdefined\newglossaryentry + \newglossaryentry{const}{ + name={\ensuremath{\const{a}}}, + description={the constant function that always returns $a$}, + sort=c + } +\fi + % The identity operator/arrow on its argument. \newcommand*{\identity}[1]{ \operatorname{id}_{{#1}} }