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.
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 .
