数学符号：x◁y

Question

我用Google搜索了◁的含义。

任何人都可以向我解释x◁y的含义是什么吗？例如：

z⊢x◁y

这是否意味着我们可以从z得到x和y之间的协议？

感谢。

Answer 1

我查看了维基百科List of Mathematical Symbols，似乎这个符号定义了normal subgroup。