This library contains getters for useful semantic symbols. Because cmd.exe on Windows can't display Unicode, it also provides a mode where the symbols are replaced with plain-ASCII equivalents.