CLHS symbol lookup:

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