20 Jul
2015
20 Jul
'15
5:18 p.m.
On 20 Jul 2015, at 18:37, Aditya Mahajan
wrote:
It is easy to change the mapping, but if the mapping is reversed, is there is standard name for : as a relation?
Looking into a book on algebraic geometry, it seems fine to use operator : for projective coordinates. So skip the variation without spaces then. Then one might use two short commands : and \: that correspond, by an option, to \colon and \ratio. Unicode ∶ RATIO U+2236 should always be operator :, i.e. \ratio, then, though.