A search on fuzzy logic led me to a Zadeh function in the context of "synthesis of fuzzy logic functions given in tabular form". The following expression is defined as a row of a choice table of a two arguments function:
x₁ ≤ x₂ ≤ x̄₂ ≤ x̄₁ : x₂
Wolfram tells me that the macron may connote the mean of a set, a complex conjugate, the complement of a set, the order type of a set, or absolute value. Similarly, a colon has multiple meanings.
Q: What is the meaning of the macron and colon in this expression?