-

Checked out "Domains and Lambda Calculi" from E&S.

kanji : alphabet :: contemporary mathematical notation : ?