History

for article: Digital encoding of APL symbols