itbpF38.875pt24.5pt6ptindex.wmfindex.texCharacters and symbolsindex.tex#Characters and symbols, Negationindex.tex#Negation, Negated relationsindex.tex#Negated relations, Symbolsindex.tex#Symbols