北京大学有符号计算与计算机代数专业，涵盖计算机代数、计算机辅助证明等领域。虽然该专业并不直接称为“画符”，但它涉及到的符号计算和计算机代数技术在很多方面与画符有相似之处，如符号处理、模式识别、自动化推理等。

因此，如果你对画符或相关领域感兴趣，北京大学的符号计算与计算机代数专业是一个值得考虑的选择。这个专业不仅提供了扎实的理论基础，还注重实践应用，培养学生在计算机科学和数学领域的综合能力。