doc: Translate ASCII-art of symboles to proper representations