In Tarski's Undefinability Theorem, a definition by the name of "Convention T" involves symbols formulated in metalanguage.
How is that possible? Shouldn't symbols be exclusive to formal languages? Doesn't the definition of metalanguage involve a language that is not composed of symbols?