Dear all, Is anyone especially attached to the (output) syntax "'a ~=> 'b" for "'a => 'b option"? I regularly find it surprising when it suddenly comes up. For example, on page 47 of the tutorial (Excercise 3.4.6) it appears without an explanation (probably printed by a term antiquotation). If nobody complains, I'll make this syntax input-only. Alex