i believe we want var to be of type Symbol, so that we can have polynomials of `jω`