elided Pin notation