Comparison of a back-translation with the original text is sometimes used as a check on the accuracy of the original translation, much as the accuracy of a mathematical operation is sometimes checked by reversing the operation. But the results of such reverse-translation operations, while useful as approximate checks, are not always precisely reliable. Back-translation must in general be less accurate than back-calculation because linguistic symbols (words) are often ambiguous, whereas mathematical symbols are intentionally unequivocal.

What is sometimes used to check the accuracy of a translation?