Tuj stared at the symbol, ÷, lost in thought. The first thought was that he had not seen it for ages. The second thought was that it actually conformed to the pattern of notation like f(·) = h(x, ·), H(G,·), (·,·)...

÷: Q × Q → Q
   (x, y) → x/y