13 May
2016
13 May
'16
1:55 p.m.
On 13 May 2016, at 13:35, Hans Hagen
wrote: On 5/13/2016 1:07 PM, Hans Åberg wrote:
On 13 May 2016, at 12:22, Hans Hagen
wrote: in principle one can make ∫ and \int but that has other side effects
What side effect do you have in mind here?
using it as normal character .. it's often harder to turn off features than to turn on
and making all those characters active by default is not a good idea
The use in the source code helps readability of math formulas, though.