symplectizations