a more convenient notation in whiskering