☰

不对称间距冒号作为不同大小的集合理解中的中间分隔符

tag-icon • tag-icon symbols punctuation newtxmath tex-gyre-math bigdelim
不对称间距冒号作为不同大小的集合理解中的中间分隔符

让我们在这篇文章中假设一位作者非常坚持在所有三个传统变量绑定器（类/集合理解、量词表达式、lambda 项）中使用冒号作为中间分隔符号：

{X：

相关内容