JoinSemilattice

logic.spad line 1777 [edit on github]

join semilattice Different from exterior Grassmann product operator as that anticommutes. need to check precedence when used as an infix operator for more documentation see: htm

= : (%, %) -> Boolean

from BasicType

\/ : (%, %) -> %

returns the logical 'join', e.g. 'or'.

coerce : % -> OutputForm

from CoercibleTo(OutputForm)

latex : % -> String

from SetCategory

~= : (%, %) -> Boolean

from BasicType

BasicType

SetCategory

CoercibleTo(OutputForm)