Note 21 — Chapter II · THE THEORY OF LOGICAL TYPES.
Reading edition
Note that in this definition the second sign of equality is to be regarded as combining with "Df" to form one symbol; what is defined is the sign of equality not followed by the letters "Df."