What punctuation mark should be at the end of a command?