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: http://www.euclideanspace.com/prog/scratchpad/mycode/discrete/logic/index.htm
- \/: (%, %) -> %
returns the logical ‘join’, e.g. ‘or’.
- coerce: % -> OutputForm
from CoercibleTo OutputForm
- latex: % -> String
from SetCategory