В обозначении Z, как определить операцию деления для целых чисел

Question

Мне было интересно узнать, использовал ли кто-нибудь здесь даже «обозначение Z» в профессиональной среде. Просто любопытно узнать некоторые известные приложения Z или ваше приложение.

Для тех, кто не знаком: http://staff.washington.edu/jon/z/z-examples.html

Я хочу знать «В Z нотации, как определить операцию деления для целых чисел»

Answer 1

Целочисленное деление уже является частью математического инструментария Заболоцкого:

a \div b 

(См Z manual by M. Spivey, глава 4.4 Числа и конечность)