Reference Term#Pair in infix => definition