Typography in process algebra
Jcm Jos Baeten, JW Jan Willem Klop · TU/e Research Portal · 2011
This note is dedicated in gratitude to Jan Karel Lenstra, who reputedly is able to distinguish an ordinary full stop symbol (".") from its italicized version ("."), and who has inspired us with his knowledge and passion for typography. For his amusement we offer him a sample of typographical matters that we encountered in Process Algebra, of which the Amsterdam version originated at MC and CWI in the early eighties. The present note is written in the fonts Palatino and Euler, the latter being an upright cursive typeface, commissioned by the American Mathematical Society and designed and created by Hermann Zapf with the assistance of Donald Knuth.