s ^ > t t₀: s₀: t₁: s₁: Dt: Ds:

Ds
	=
Dt: