TeX source:
x In 5 +2 In 5 = x In 4