team-worthwhile/worthwhile — Issue #71: Assignment should use Unicode "colon equals"
Author: leonhandreke
Created: 2012-02-19 08:59:15+00:00
State: open
Labels: grammar, model, ui

The "colon equals" symbol `≔` should be used, instead of the boring old `:=`. More information about this symbol is available at [Wolfram Alpha](http://www.wolframalpha.com/input/?i=%E2%89%94).

The following things should be done:

* Add `≔` as an alternative to `:=` in the grammar.
* Add the new sign to the autoedit strategy.
* Use the new symbol in `AstNodeToStringHelper`