Let's look at some actual math. The first article from the most recent issue of the first journal listed on the AMS page is here: http://www.ams.org/journals/e

Let's look at some actual math. The first article from the most recent issue of the first journal listed on the AMS page is here: http://www.ams.org/journals/ecgd/2016-20-01/S1088-4173-2016-00288-5/S1088-4173-2016-00288-5.pdf http://www.ams.org/journals/ecgd/2016-20-01/S1088-4173-2016-... To me that looks like quite a bit of English, organized for humans. It is true that there are also quite a few symbols, but I contend it looks a whole lot more like the CWEB implementation of wc than it does like the C implementation.