X-Git-Url: http://gitweb.michael.orlitzky.com/?p=mjotex.git;a=blobdiff_plain;f=mjo-arrow.tex;fp=mjo-arrow.tex;h=9bf9dc5555515e45f2a98b25d5c89310375d3b03;hp=60530cb71020f3902e3b4c11f9a6498814241f5e;hb=93c8209c75f02b41fe26c7d58dd7b8f8814051f0;hpb=3a25a18426a941309e160a14018cd18b31562e3b 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}} }