數學表示法：x◁y

Question

我已經使用了og的含義，但無濟於事。

任何人都可以向我解釋什麼是x◁y的意思？例如：

ž⊢X◁Ÿ

這可能意味着，我們可以得出x和y Z之間的協議？

謝謝。

Answer 1

我看了一下維基百科List of Mathematical Symbols，看起來這個符號定義了一個normal subgroup。