RightFunctionNotation 2002-01-05 14:52:23 2004-05-01 14:41:33 Definition \usepackage{amssymb} \usepackage{amsmath} \usepackage{amsfonts} \usepackage{graphicx} \usepackage{xypic} We are said to be using {\PMlinkescapetext {\it right function notation}} if we write functions to the right of their arguments. That is, if $\alpha : X \to Y$ is a function and $x \in X$, then $x \alpha$ is the image of $x$ under $\alpha$. Furthermore, if we have a function $\beta : Y \to Z$, then we write the composition of the two functions as $\alpha \beta : X \to Z$, and the image of $x$ under the composition as $x \alpha \beta = x (\alpha \beta) = (x \alpha) \beta$. Compare this to left function notation.