[MathJax on]
The trees are used in ToDoLists. They are a technical feature, and fairly general, so they also can be used somewhere else.
generated by GAPDoc2HTML