Theorema
Tutorial
Hierarchical Formula Input
XXXX.
In[1]:=
Out[1]=