Usage of Semantic Encoding II

Have the relations between mathematical items be browsable
Display the structure of a formulae (sub-term highlighting)
Allow Copy and Paste into exercise sessions
(demo)

<- ->