符号检验教案