HoTT/book — pull request #312 by rpglover64 (2013-06-23 15:16:57+00:00)
Title: Missing parenthesis in Ch. 1 exercises (p. 54)

The second line of the defining equations for exercise 1.4 is missing a close parenthesis.