CLHS symbol lookup:
Data from
Xach Beane's PHP-based CLHS server
.