fixed a error in the definition of \downarrow
modified:   PartialDelay.agda