TeX source:
p=7 / 10=0.70