math - 数学表記: x ◁ y

Question

無駄に◁の意味をググった。

x ◁ y の意味を説明できる人はいますか? 例えば：

z ⊢ x ◁ y

z から x と y の間の一致を導き出せるということでしょうか?

ありがとう。

Answer 1

Wikipedia List of Mathematical Symbolsを見たところ、この記号は通常のサブグループを定義しているようです。