HoTT/book — pull request #604 by mikeshulman (2014-01-13 17:16:40+00:00)
Title: fix notation for W-types, close #603

I presume this is what you meant.