Habituellement, ⇒ dénote une implication dans le métalangage, alors que ... se traduit par "si M est un modèle de σ → τ, alors M est un modèle de ρ". ... En bref: les gens utilisent des symboles différents, et c'est très bien tant que ... Comparez un numéro de version donné sous la forme major.minor.build.patch et voyez si l'un est inférieur à l'autre.