Translation
powered by 
Word not found. Suggestions:
Reverse definition search (Computing (FOLDOC) dictionary):
BibTeX LaTeX Xy-pic coalesced sum \begin quantifier \sqcap \sqcup \big c2man \perp \uparrow \sqsubseteq plain TeX antichain monotonic bottom additive distributive lattice CrApTeX natural deduction constructed type emTeX embedding logical complement bounded inclusive (c) upper bound Omega-algebraic order-embedding partial function Scott-closed least upper bound greatest lower bound compact partial ordering lifted domain TeX chain closure powerdomain type inference domain theory Boolean algebra copyright GNU Free Documentation License