TeX source:
x = 2a + 8(1–a)