Remark
2
[2DM]The symbols \(β§\) and \(β¨\) can be used in two different contexts, where they assume different meanings.
If \(x,yββ\) are real numbers, then \(x β§ y\) is the minimum of the two numbers, while \(x β¨ y\) is the maximum of the two numbers. This meaning is also appropriate when \(x,y\) are in a totally ordered set. 1
In mathematical logic, \(β§\) is the conjunction and \(β¨\) is the disjunction. See [00D].