syndir : ar->ap
syndir: applications and inverses