Bocsánat, kis változás: legyen most 's' a növelő (successor) és 'Z' az is-zero művelet, hogy ne ütközzünk az 'n' negáló logikai művelettel és a 'z' változószimbólummal.

=xy = Zy(Zx)(Zxf(=(px)(py)))
>xy = Zxf(Zyt(>(px)(py)))
≥xy = Zyt(Zxf(≥(px)(py)))
-xy = Zyx(Zx0(-(px)(py)))
/xy = (>yx)0(s(/(-xy)y))
%xy = (>yx)x(%(-xy)y))

Mivel negatív számok nincsenek (tudom, fejlesztési igény), ezért a kivonás nem megy nulla alá.