Help AI help you by inventing a notation

In the last 24 hours, I’ve learned about three different languages: a language for math proofs, for flow-chart diagrams, and for indian…