[lkirkwood]

Can you expand on this? Notation like "=" can be written using language but we define an exact meaning for the operator regardless, unlike language.