Improve display of angles and segments
Improve display of angles and segments

The segment operator's LaTeX display no longer includes the word
"segment". Precedence of the angle and segment operators has been
increased by 1 to avoid parentheses when they occur in statements.

poser3/Prove-It