Alright, everything sounds quite good to me, except that the << being equivalent to >> is slightly distasteful to me. That's only going to cause confusion.
I would personally keep it, just because sometimes you don't want to rewrite the full expression but just want to reverse the direction of the implication and see what happens. I'm opening a new issue then. Alex -- You received this message because you are subscribed to the Google Groups "sympy" group. To view this discussion on the web visit https://groups.google.com/d/msg/sympy/-/sFoQ-BcFRMsJ. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/sympy?hl=en.
