Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Consider the functions $f : X \to Y$ and $g : Y \to Z$. According to the Wikipedia articles on Function Composition, the application of $f$ to an input $x$ can be written as $xf$ (as opposed to the usual $f(x)$), and function composites can be written as $fg$ (as opposed to the usual $g \circ f$). This is known as postfix notation or diagrammatic notation because the equation $(xf)g = x(fg)$ holds and the function composite can be read from the following diagram: $$ X \xrightarrow{f} Y \xrightarrow{g} Z \implies X \xrightarrow{fg} Z $$

I would like a journal reference that uses this notation, preferably briefly explaining its advantages.

What I've tried

The closest reference I have is "Z Notation", where relations $R \subseteq X \times Y$ and $S \subseteq Y \times Z$ can be composed in diagrammatic order using a "fat semicolon":

enter image description here

This use of semicolon coincides with the notation for function composition used (mostly by computer scientists) in Category theory.

Could I also have a journal reference that uses Z notation?

share|cite|improve this question
The notation with ";" is one possible choice. Or you could simply use juxtaposition, as in the diagram. There was a similar question… and you might find some answers helpful. A good case in favour of postfix composition is made here: – Marc Olschok Feb 27 '13 at 1:27

Not sure if this is exactly what you're looking for, but this blog post has three references to Journal articles about reverse Polish notation (postfix notation).

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.