Symbol: inverse_translate