Convert from XeTeX to vanilla LaTeX.
Add definition of "distributive" to glossary.

Also replace \diamond with \vartriangle.