I think avoiding collisions with hashtags is the way to go.
Option 1 looks good to me.
Although I don't really have a preference for a symbol, it obviously should not be a sign that is obscure to average users (like ^, § or worse). ! should do the job just fine.