math - 数学符号：x ◁ y

Question

我用谷歌搜索了◁的含义，但无济于事。

谁能给我解释一下 x ◁ y 是什么意思？例如：

z ⊢ x ◁ y

这是否意味着我们可以从 z 推导出 x 和 y 之间的一致性？

谢谢。

Answer 1

我查看了 Wikipedia List of Mathematical Symbols，似乎这个符号定义了一个normal subgroup。