HoTT/book — pull request #663 by JasonGross (2014-04-14 09:06:58+00:00)
Title: Add another \texorpdfstring

Another thing to think about: sometimes we use `$W$`, sometimes we use `$\w`, sometimes we use `W`, and sometimes we use `$\mathsf{W}$` (all in (sub)section titles). Should we uniformize this?