use a notation macro for whiskering