是的，CNKI数据库中的专业检索用到的符号必须是英文半角字符。

在CNKI数据库中进行专业检索时，确实要求使用英文半角字符来输入检索符号和关键词。这是因为数据库检索系统通常基于特定的编码和语法规则构建，而英文半角字符是国际通用的字符集，能够确保检索指令的准确性和兼容性。

具体来说，英文半角字符指的是ASCII字符集中的字符，它们与全角字符相比，占用的空间更小，且在编程和数据处理中更为标准。在CNKI的专业检索中，常用的符号包括逻辑运算符、括号以及通配符等。这些符号都必须以英文半角的形式输入，以便系统能够正确解析和执行检索指令。

举个例子，如果我们想要检索与“人工智能”和“教育”两个主题相关的文献，我们可以使用如下的专业检索式：SU=。在这个检索式中，“AND”是逻辑运算符，用于组合两个检索词，而括号则用于明确运算的优先级。所有这些符号都必须是英文半角字符，否则系统可能无法正确识别和执行检索指令。

总的来说，使用英文半角字符进行专业检索是确保检索准确性和系统兼容性的关键。在CNKI数据库中，遵循这一规则可以帮助用户更有效地获取所需的信息资源。