4. Demo

An online version of the mathbar demo is http://www.grammaticalframework.org/demos/minibar/mathbar.html.