Back-translation must in general be less accurate than back-calculation because linguistic symbols (words) are often ambiguous, whereas mathematical symbols are intentionally unequivocal