金银纯度印记：打在金银件上，表明符合法定标准的符号或符号组。
Hallmark: Symbol stamped on an item of silver or gold to indicate that it conforms to legal standards of purity.
每一个符号组被定义一次，然后重复使用，在不同地区的格局没有加倍群体。
Each group of symbols is defined once and reused then, no doubling groups in different parts of pattern.
这里，它允许你定义更多表达能力很强的符号，而不止是严格的相等（比如，检查一个组中某个元素的存在性）。
Here, it allows you to define more expressive notions than strict equality (testing the presence of an element in a set, for instance).
应用推荐