team-worthwhile/worthwhile — Issue #34: Unicode multiplication symbol not parsed
Author: danielbruns
Created: 2012-02-14 12:50:43+00:00
State: open

I tried the example program from the help window in the binary distribution and the parser rejects the multiplication symbol (•). Works fine with asterisk (*) instead.
_axiom(∀Integer x, ∀Integer y : (x+y)•(x+y) = x•x + 2•x•y + y•y)