∧
≺
≻
