Using double dot symbol as a variable

You may try the Symbolize function of the `Notations package.