Clarify "Abgrenzung" and unicode display for "Quantoren"
Clarify "Abgrenzung" and unicode display for "Quantoren"

- every GUI feature implemented must support the programm analysis
  process
- the editor displays not only operators but also quantifiers with their
  corresponding unicode symbol

team-worthwhile/worthwhile,team-worthwhile/worthwhile