distinguish <@> and <>