An extensible mini-language to generate mathematical notation for executable
and testable Python
