Abstract lattice functions meet and join, with symbols \wedge and \vee - View it on GitHub