Z表記で、整数の除算演算を定義する方法

Question

プロの環境で "Z表記"を使用した人がいるかどうか知りたいと思っていました。 Zまたはアプリケーションの一般的に知られているアプリケーションを知りたいだけなのです。

慣れていない人のために

：私は整数の除算がすでにZの数学的なツールキットの一部である

Answer 1

「整数のための除算演算を定義する方法を、Zの表記では」知りたいhttp://staff.washington.edu/jon/z/z-examples.html

：

a \div b 

（Z manual by M. Spivey、章4.4番号と有限を参照）。