X-Git-Url: http://gitweb.michael.orlitzky.com/?p=mjotex.git;a=blobdiff_plain;f=mjo-arrow.tex;h=2d5095ee327b9866bbd84b8098f8d7a084bd27f7;hp=9bf9dc5555515e45f2a98b25d5c89310375d3b03;hb=HEAD;hpb=93c8209c75f02b41fe26c7d58dd7b8f8814051f0 diff --git a/mjo-arrow.tex b/mjo-arrow.tex index 9bf9dc5..2d5095e 100644 --- a/mjo-arrow.tex +++ b/mjo-arrow.tex @@ -23,9 +23,17 @@ } \fi -% The identity operator/arrow on its argument. +% The identity function/arrow on its argument. \newcommand*{\identity}[1]{ \operatorname{id}_{{#1}} } +\ifdefined\newglossaryentry + \newglossaryentry{identity}{ + name={\ensuremath{\identity{X}}}, + description={the identity function or arrow on $X$}, + sort=i + } +\fi + % The composition of two arrows/functions. For example, the % composition of g with f is \compose{g}{f}\of{x} === g\of{f\of{x}}. \newcommand*{\compose}[2]{ {#1}\circ{#2} }