A prototype experiment in mathematical typesetting - View it on GitHub