I am not familiar with the `@$` notation. Is it used to differentiate jQuery objects from normal variables or HTML elements?