Her er funksjonssymbolet $+$ skrevet bakerst i termen $(x, y)+$ og i termen $((x, y)+, z)+$, så den sammensatte termen $((x, y)+, z)+$ er skrevet med postfiksnotasjon.
Prefiks-, infiks- og postfiksnotasjon
Test deg selv
$((x, y)+, z)+$
Er den sammensatte termen over der $+$ er et funksjonssymbol og $x$, $y$
og $z$ er variabler, skrevet med prefiks-, infiks- eller postfiksnotasjon?
Når vi så på tallteorispråket med signatur $\langle 0; s, +; = \rangle$ så vi for eksempel på termen som $s(0) + s(s(0))$. Her brukte vi prefiksnotasjon for funksjonssymbolet $s$ med aritet $1$ og infiksnotasjon for funksjonssymbolet $+$ med aritet $2$.