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