Right. Or the octothorp. I suppose I can expect people on Lemmy to know what a pound sign is. But since this isn’t a comment line in a shell script, given the context I think hashtag is appropriate.