Added pretty-printing writer for equations