Knuth didn't invent any notation here, it's just standard math. There are a million languages out there that resemble math notation (mostly functional language

Knuth didn't invent any notation here, it's just standard math. There are a million languages out there that resemble math notation (mostly functional languages), many of them resemble it much better than erlang does.