Not sure if I agree with the statement that "=" is used for definitions. It's true meaning is to simply state that two things are equal. I can see where the confusion comes from since mathematicians have a tendency to just state "Let x = 2kj", instead of the more explicit "Let us assume that the statement 'x = 2kj', is true". It's important to note the distinction though, since introducing a new variable by simply stating it's properties is more powerful than just defining it to be equal to something. For instance it's equally valid to define a symbol x by simply stating "Let x∈A". This is used quite a lot since anything you can then prove about "x" must automatically be true for all elements of A.