Symbols

In page 140 on the section on the Axiom of Extensionality the symbol ≨ appears. From context I think it means “is defined as”, but I’ve never seen it before. While it’s true that most of the mathematical symbols you use are defined in the text when they are first seen, a glossary and pronunciation guide in the back would be nice.