-a^{v0}_{} b^{}_{a0,v0} a+(a0)