The Coq mailing list

["Hao-yang Wang" <hywang AT pobox.com>]

Hi! Thanks for your helps in the past.

I'd like to construct pairs, associated to the right. The following
recursive notation works, but if I change the ";" symbols into "," I will
get error messages.

Notation "{| x , .. , y ; z |}" := (pair x ..(pair y z)..).
Check ({|1,2,3;4|}).

Thanks again,
Hao-yang Wang