Expansion of Numbers and Operations
ᐥ+addition (−subtraction) ↺ ·multiplication (/division) ↺ ˄exponentiation (˅root ⍻logarithm)ᐥ ➊ Addition The natural numbers are closed under addition. ➋ Subtraction is the inverse operation of addition. l + m = n n - m = l Define 0 and negative integer ...
http://qindex.info/i.php?x=4882
  Exponentiation Properties
① (p˄m)·(p˄n) = p˄(m+n) ② (p˄m)˄n = p˄(m·n) ③ (p·q)˄n = (p˄n)·(q˄n)
http://qindex.info/i.php?x=5283

-