TeX source:
KE+PE = constant