Show type error, pretty symbols.