-> to and in sympy/theano posts