# Alternative notation for exponents, logs and roots?

If we have

then we know that

and

As a visually-oriented person I have often been dismayed that the symbols for these three operators look nothing like one another, even though they all tell us something about the same relationship between three values.

Has anybody ever proposed a new notation that unifies the visual representation of exponents, roots, and logs to make the relationship between them more clear? If you don’t know of such a proposal, feel free to answer with your own idea.

This question is out of pure curiosity and has no practical purpose, although I do think (just IMHO) that a “unified” notation would make these concepts easier to teach.

Always assuming $$x>0x>0$$ and $$z>0z>0$$, how about:
xy=yx△zx to the yy√z=yx△zyth root of zlogx(z)=x△zlog base x of z\begin{align} x^y &={} \stackrel{y}{_x\triangle_{\phantom{z}}}&&\text{x to the y}\\ \sqrt[y]{z} &={} \stackrel{y}{_\phantom{x}\triangle_{z}}&&\text{yth root of z}\\ \log_x(z)&={} \stackrel{}{_x\triangle_{z}}&&\text{log base x of z}\\ \end{align}
The equation $$xy=zx^y=z$$ is sort of like the complete triangle $$yx△z\stackrel{y}{_x\triangle_{z}}$$. If one vertex of the triangle is left blank, the net value of the expression is the value needed to fill in that blank. This has the niceness of displaying the trinary relationship between the three values. Also, the left-to-right flow agrees with the English way of verbalizing these expressions. It does seem to make inverse identities awkward:

$$logx(xy)=y\log_x(x^y)=y$$ becomes $$x△yx△z=y\stackrel{}{_x\triangle_{\stackrel{y}{_x\triangle_{\phantom{z}}}}}=y$$. (Or you could just say $$xy△yx△z\stackrel{}{_x\stackrel{y}{\triangle}_{\stackrel{y}{_x\triangle_{\phantom{z}}}}}$$.)

$$xlogx(z)=zx^{\log_x(z)}=z$$ becomes $$x△zx△z=z\stackrel{\stackrel{}{_x\triangle_{z}}}{_x\triangle_{\phantom{z}}}=z$$. (Or you could just say $$x△zx△z\stackrel{\stackrel{}{_x\triangle_{z}}}{_x\triangle_{z}}$$.)

$$y√xy=x\sqrt[y]{x^y}=x$$ becomes $$y△yx△z=x\stackrel{y}{\triangle}_{\stackrel{y}{_x\triangle_{\phantom{z}}}}=x$$. (Or you could just say $$xy△yx△z\stackrel{}{_x\stackrel{y}{\triangle}_{\stackrel{y}{_x\triangle_{\phantom{z}}}}}$$ again.)

$$(y√z)y=z(\sqrt[y]{z})^y=z$$ becomes $$yx△zy△=z_{\stackrel{y}{_\phantom{x}\triangle_{z}}}\hspace{-.25pc}\stackrel{y}{\triangle}=z$$. (Or you could just say $$yx△zy△z_{\stackrel{y}{_\phantom{x}\triangle_{z}}}\hspace{-.25pc}\stackrel{y}{\triangle}_z$$.)

Having $$33$$ variables, I was sure that there must be $$3!3!$$ identities, but at first I could only come up with these four. Then I noticed the similarities in structure that these four have: in each case, the larger $$△\triangle$$ uses one vertex (say vertex A) for a simple variable. A second vertex (say vertex B) has a smaller $$△\triangle$$ with the same simple variable in its vertex A. The smaller $$△\triangle$$ leaves vertex B empty and makes use of vertex C.

With this construct, two configurations remain that provide two more identities:

$$yx△z△z=y_{\stackrel{y}{_\phantom{x}\triangle_{z}}}\hspace{-.25pc}\stackrel{}{\triangle_z}=y$$ states that $$logy√z(z)=y\log_{\sqrt[y]{z}}(z)=y$$.

$$x△zx△z=x\stackrel{\stackrel{}{_x\triangle_{z}}}{_\phantom{x}\triangle_{z}}=x$$ states that $$logx(z)√z=x\sqrt[\log_x(z)]{z}=x$$.

I was questioning the usefulness of this notation until it actually helped me write those last two identities. Here are some other identities:

ax△z⋅bx△z=a+bx△zax△zbx△z=a−bx△zax△zb△=abx△zx△ab=x△a+x△bx△a/b=x△a−x△bx△ba△z=b⋅x△a−ax△z=1ax△z1/yx△z=yx△xx△1/a=−x△aa△b⋅b△c=a△ca△c=b△cb△a−ny△zx△z=ny△zx△x\begin{align} \stackrel{a}{_x\triangle_{\phantom{z}}}\cdot\stackrel{b}{_x\triangle_{\phantom{z}}}&={}\stackrel{a+b}{_x\triangle_{\phantom{z}}}& \frac{\stackrel{a}{_x\triangle_{\phantom{z}}}}{\stackrel{b}{_x\triangle_{\phantom{z}}}}&={}\stackrel{a-b}{_x\triangle_{\phantom{z}}}& _{\stackrel{a}{_x\triangle_{\phantom{z}}}}\hspace{-.25pc}\stackrel{b}{\triangle} &={}\stackrel{ab}{_x\triangle_{\phantom{z}}}\\ \stackrel{}{_x\triangle_{ab}}&={}\stackrel{}{_x\triangle_{a}}+\stackrel{}{_x\triangle_{b}}& \stackrel{}{_x\triangle_{a/b}}&={}\stackrel{}{_x\triangle_{a}}-\stackrel{}{_x\triangle_{b}}&\stackrel{}{_x\triangle}_{\stackrel{b}{_a\triangle_{\phantom{z}}}}&=b\cdot\stackrel{}{_x\triangle}_{a} \\ \stackrel{-a}{_x\triangle_{\phantom{z}}}&=\frac{1}{\stackrel{a}{_x\triangle_{\phantom{z}}}}& \stackrel{1/y}{_x\triangle_{\phantom{z}}}&=\stackrel{y}{_\phantom{x}\triangle_{x}}& \stackrel{}{_x\triangle_{1/a}}&=-\mathord{\stackrel{}{_x\triangle_{a}}}\\ \stackrel{}{_a\triangle_{b}}\cdot\stackrel{}{_b\triangle_{c}}&=\stackrel{}{_a\triangle_{c}}& \stackrel{}{_a\triangle_{c}}&=\frac{\stackrel{}{_b\triangle_{c}}}{\stackrel{}{_b\triangle_{a}}}& \stackrel{\stackrel{-n}{_y\triangle_{\phantom{z}}}}{_x\triangle_{\phantom{z}}}&=\stackrel{\stackrel{n}{_y\triangle_{\phantom{z}}}}{_\phantom{x}\triangle_{x}}& \end{align}