生产与作业系统的符号表示法中，表示检验符号的是()。