The division symbol
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