News for hackers. Stuff that matters.

A comment on Notation as a Tool of Thought. Parent comment

Re:Notation as a Tool of Thought by pmiller2 on Sunday October 16, 2011 @08:54PM (#3118801)
Thank you! I think here might be the appropriate place to comment on the irony of a web page espousing good notation having its own notation mangled by a bad PDF->HTML translation.
[ Parent | on HN ]
Re:Notation as a Tool of Thought by klettow on Monday October 17, 2011 @11:21AM (#3120811)
At the bottom of the page, there are the following instructions: The text requires the APL385 Unicode font, which can be downloaded from https://sites.google.com/site/baavector/fonts .
[ Parent | on HN ]