[Agda] : vs. ∶

[Wolfgang Jeltsch]

Am Donnerstag, den 29.11.2012, 11:10 +0100 schrieb Nils Anders
Danielsson:
> On 2012-11-29 03:22, Andreas Abel wrote:
> > I'd prefer the RATIO symbol (fake colon) to the epsilon.
> 
> Any other opinions?

Yes!

RATIO is for ratios. Type membership is completely different from
ratios. So the choice of RATIO is just plain wrong.

In addition, we have the confusion between ∶ and : (which can cause a
lot of pain, especially to newcomers).

Best wishes,
Wolfgang