Editing the properties of a character or symbolEdit_symbols.tex
Entering negated symbolsNegating.tex
Negated relationsNegated_relations.tex