would be nice to have a way to eg prepend operator definitions to equations
would be nice to have a way to eg prepend operator definitions to equations