Hi Rafael,
I just took that symbol, because it seems appropriate for this. The symbols name is CircleTimes
, it has no build in meaning and you are free to define it as you like -- so I did. The keyboard shortcut is <Esc> c* <Esc>, see documentation.
Regards -- Henrik