Which punctuation mark should be used to end a command?