Algebra.Lattice.Unicode

This module provides Unicode variants of the operators.

Unfortunately, ⊤, ⊥, and ¬ don't fit into Haskell lexical structure well.

Documentation

(∧) :: Lattice a => a -> a -> a infixr 6

Meet, alias for /\.

(∨) :: Lattice a => a -> a -> a infixr 5

Join, alias for \/.

(⟹) :: Heyting a => a -> a -> a infixr 4

Implication, alias for ==>.

(⟺) :: Heyting a => a -> a -> a infix 4

Equivalence, alias for <=>.