judgmental equality

Some textbooks use a triple equal sign ≡ to stress that this is judgmental equality and thus an extrinsic notion of equality. The judgments enforce that every term has a type. The type will restrict which rules can be applied to a term.