20 Jul
2015
20 Jul
'15
8:06 p.m.
On 20 Jul 2015, at 21:34, Manuel Blanco
wrote: I'm not sure I understand what you mean. It's true that the colon used in \colon differs from the one used if you input : directly by default (it's smaller).
Right. For some reason, your code gives the right, smaller, colon when used with luatex, but not with context. (As in the examples I gave.)