o,\ya}m. = :x£u,y=^hx.^=xJtL

La seconde proposition se déduit de la première, en opérant par le signe y t les deux membres de l'égalité qui constitue la définition. On a p. ex.

log Q - q . sin q = (— 1)*^ (-+- 1) .

Noua avons déjà appliqué plusieurs fois cette convention, notamment au § 3. Cette convention sert à éliminer une variable d'une proposition, où cette variable figure seulement en apparence. Ainsi la proposition xtti.y=^hx ,- ==x A est une relation entre les lettres i^ , i/ et 7i , indépendante de la lettre x qui figure au pied du signe = ; elle est transformée en yehuj où ne figure plus le x. Analoguement, étant Vf , V des K , et ?i un signe de fonction,