User blog:Mango523WNR/Untitled

a^^(b+c)=(a^^b)^(a^^c)=(a^^c)^(a^^b)

a^^(bc)=(a^^b)^^c=(a^^c)^^b

loga(a^^b)=a^^(b-1)=(a^^b)^(a^^-1)

sr_b(a)=a^^(1/b)