二元关系符号，一般代表“传递性”。具体含义：左边的元素到右边的元素，经过i次传递。根据这个符号的开口，这个传递性关系应该是模拟“大于等于”这个关系的。如果模拟“小于等于”，开口向另一边。
我也没见过，你从哪看到的啊？
