The equation 3 j 6 = 9 can be shown on a function machine by writing out the functions that have been applied to j in the order they happened. BIDMAS means multiplications happen before subtractions.

I love inequalities. The Sobolev and related inequalities estimate functions in terms of derivatives and form the basis for our understanding of partial differential equations.