The #symbol-languages pile