The prev use command is applicable to a name that refers to a declaration, and which is not the first use of that declaration. It causes the previous typeset use of that declaration to be selected. It also indicates if there are any intervening uses that are not typeset.