HoTT/book — pull request #332 by loopspace (2013-06-28 17:11:13+00:00)
Title: Put references that are in maths mode in a `\text` command

There is a line in which a reference is inside a maths environment
(enforced by `\ensuremath`). As these are references, they are
actually text elements so should be in `\text` commands.