Meanwhile:<p><pre><code> Mathematica 10.0 for Mac OS X x86 (64-bit)
Copyright 1988-2014 Wolfram Research, Inc.
In[1]:= FullForm[x->y*z^w]
Out[1]//FullForm= Rule[x, Times[y, Power[z, w]]]
In[2]:= x\[UnionPlus]y\[RightTee]z
Out[2]= x ⊎ y ⊢ z
</code></pre>
There's no reason your programming language shouldn't be able to tell you what these things are called in English without an external reference.