0xProto项目新增BNF语法定义符号`::=`连字功能

在编程语言和形式语言理论中，Backus-Naur范式(BNF)是一种用于描述编程语言语法的元语言。BNF使用::=作为"定义为"的元符号，这个符号在语法规范文档中频繁出现。

0xProto项目最新发布的v2.500版本中，开发团队响应社区需求，新增了对::=符号的连字(ligature)支持。连字是一种排版技术，将多个字符组合成一个更美观、更易读的单一字形。对于经常需要阅读或编写语法规范的程序员和语言设计者来说，这一改进显著提升了代码和文档的视觉体验。

在之前的版本中，::=符号显示为三个独立的字符:、:和=。这种显示方式虽然功能上没有问题，但在视觉上不够连贯，特别是在密集的语法定义文档中，可能会影响阅读流畅性。新版本通过连字技术，将这三个字符组合成一个视觉上更统一的符号，类似于Unicode中专门的数学运算符⩴(U+2A74)的效果，但保持了ASCII字符的兼容性。

这一改进体现了0xProto项目对开发者实际需求的关注。BNF及其变体(EBNF、ABNF等)广泛应用于编程语言规范、协议文档和数据格式定义中。::=符号的正确显示对于编译器设计、文档编写和教育材料制作都有重要意义。

连字技术的应用是现代化编程字体的一项重要特性。它不仅提升了代码的美观度，还能在某些情况下增强代码的可读性。0xProto项目通过持续优化这类细节，为开发者提供了更优质的编程体验。

随着这一功能的加入，建议项目维护者未来更新README中的示例图片，以展示这一新特性。对于经常处理形式语言定义的用户来说，升级到v2.500或更高版本将获得更专业、更舒适的视觉体验。