a blacksmith's tool with a brief head comparable to a cold chisel set transversely on to a handle and employed, when struck with a hammer, for removing lengths of iron bars? along with the set of all authentic quantities contain the similar cardinality, a bijection currently being supplied by the functionality ? x ? tan ? ( ? x / 2 ) displaystyle x