On Mon, 5 Oct 2015, Dima Pasechnik wrote:
In docstrings we have \leq converted to <=, can't we use unicode, and
get ≤? More importantly, can we do similar things to \cap (∩) and \cup
(∪), and perhaps even more of this?
What we assume the user to have on command line?
I just read your email in real Linux console, Ubuntu 14.04 LTS. \cap was
OK, \cup was shown as a kind of diamond. In this gnome-terminal on X that
I normally use for email everything is fine.
Personally I don't mind the change, and I am sure that nobody whose
computer support I am will complain.
* * *
Btw, I have corrected M\"obius function to Möbius function in docs. I hope
that it is OK for everyone. (Linux has used US keyboard layout as a
default from 0.03 I think. Before it was finnish layout. :=) )
--
Jori Mäntysalo
