[le-mark]

All those things can be specified in text. Fortress was a language that had the facility to use mathematical notation. Turned out to be not so compelling iirc.

https://en.wikipedia.org/wiki/Fortress_(programming_language...