24 Jul
2015
24 Jul
'15
6:20 p.m.
On 24 Jul 2015, at 16:29, Hans Hagen
wrote: On 7/24/2015 4:19 PM, Hans Aberg wrote:
The function $f: A → B$, $g\colon A → B$.
we could add a mathsymbol entry but I leave that to Aditya to decide
{ adobename="colon", category="po", cjkwd="na", description="COLON", direction="cs", linebreak="is", mathclass="relation", --mathsymbol=0x2236, unicodeslot=0x3A, },
Should it be 'mathclass=“relation”’? Mathematically, relations have extra space at both sides, whereas in the function $f: A → B$, there should not be much space before the “:”.
that's where the domain would kick in .. it can control that kind of spacing issues
OK. The word “relation” makes me think of math relations. :-)