/*********************************************** | |
* Export math in a human-readable text format | |
* As you can see, only half-baked so far. | |
**********************************************/ | |
Controller.open(function(_, super_) { | |
_.exportText = function() { | |
return this.root.foldChildren('', function(text, child) { | |
return text + child.text(); | |
}); | |
}; | |
}); |