La convención es que dentro de un mismo contexto, una misma metavariable representa siempre un mismo elemento del lenguaje objeto, pero metavariables distintas no necesariamente representan elementos distintos.