Okay, "fundamental lemma" according to Google can apply to Calculus of Variations, Sieve Theory, Advanced Calculus, Statistics (the Neyman-Pearson fundamental lemma), Interpolation Theory, Semigroup Theory, one about normal coordinates for spaces of paths, one for Dirchlet's theory for arithmetic progressions, one for weak limit directions of plane sets, one about the limit of a sum, one about multiple trigonometric sums, one for Homological Algebra, one about Information Theory, one in Functional Analysis, . . . and  oh,yeah  the Langlands one. (And that's just from the first few pages of the 60,000 or so Google hits.) 

 Also: I was not advocating the removal of the symbolic version, only for an explanation of it.  I do agree that no symbols is better than meaningless ones, but best of all would be an explanation of their meaning.