[eeps] Proposal for /\ and \/ operators

[David-Sarah Hopwood]

Richard O'Keefe wrote:
> Maximum and minimum DO have very well established mathematical
> symbols.  In ASCII, those symbols look like /\ and \/.

No, they normally look like '⊓' and '⊔'.

'∧' is more commonly used for logical-and, and '∨' for logical-or.

(Yes, the logical operators can be viewed as maximum and minimum in
a Boolean lattice, but that is not what the proposed /\ and \/ operators
do; they are a maximum and minimum on arbitrary values as defined by '<'.)

-- 
David-Sarah Hopwood ⚥