If we're not returning specific exit codes, it's nicer to use standard symbols like these. You can add it to CodingStyle if you think it's necessary.