added symbol translations