src/sage/misc/sagedoc.py On Monday, October 5, 2015 at 9:37:49 PM UTC+2, Dima Pasechnik wrote: > > > > On Monday, 5 October 2015 12:20:45 UTC-7, Volker Braun wrote: >> >> +1: write a patch >> > > do you know where to look for the code doing the replacement '\leq' -> > '<=' ? > > >> >> On Monday, October 5, 2015 at 9:10:30 PM UTC+2, 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? >>> >>> Dima >>> >>
-- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/d/optout.
