^only accepts natural numbers because they are easier for PVS to work with, much simpler definition- exponentiation to a real number
- done with
^for natural numbers, and^^for real numbers - can be expanded with
(expand) - see expand
^ only accepts natural numbers because they are easier for PVS to work with,
much simpler definition^ for natural numbers, and ^^ for real numbers(expand)