수학 표기법 : x ◁ y

Question

나는 Σ의 의미를 쓸데없이 찾았다.

누구나 x ◁ y의 의미를 설명 할 수 있습니까? 예를 들어

Z ⊢ X ◁

은 우리가 (Z)에서, X와 Y 사이의 합의를 유도 할 수도 있다는 뜻 Y?

감사합니다.

Answer 1

나는 위키 피 디아 List of Mathematical Symbols을 보았고,이 기호는 normal subgroup을 정의한 것으로 보입니다.