I believe identities and definitions have different symbols by convention, either the equal-delta sign (definition [0]), or the triple-line equals sign (identit

I believe identities and definitions have different symbols by convention, either the equal-delta sign (definition [0]), or the triple-line equals sign (identity [1]). [0] https://hsm.stackexchange.com/questions/5166/who-first-defined-the-equal-delta-or-delta-over-equal-triangleq-symbol https://hsm.stackexchange.com/questions/5166/who-first-defin... [1] https://www.quora.com/What-does-a-triple-equals-sign-mean https://www.quora.com/What-does-a-triple-equals-sign-mean