symbols translated