**Defined in theory: Kif-numbers****Source code: kif-numbers.lisp**

**Documentation:**The term {tt (mod $tau_1$ $tau_2$)} denotes the root of the object denoted by $tau_1$ modulo the object denoted by $tau_2$. The result will have the same sign as denoted by $tau_1$.

**Arity:**3