BoundedJoinSemilattice

logic.spad line 1802 [edit on github]

join semilattice with bottom Different from exterior Grassmann product operator as that anticommutes. need to check precedence when used as an infix operator for more documentation see: http://www.euclideanspace.com/prog/scratchpad/mycode/discrete/logic/index.htm

=: (%, %) -> Boolean

from BasicType

\/: (%, %) -> %

from JoinSemilattice

_|_: %

bottom (false in logic).

~=: (%, %) -> Boolean

from BasicType

coerce: % -> OutputForm

from CoercibleTo OutputForm

latex: % -> String

from SetCategory

BasicType

CoercibleTo OutputForm

JoinSemilattice

SetCategory