TeX source:
P_0 = (0.06×$80)/.07