WolframAlpha computational knowledge AI
nonnegative integer ^ rational