I am trying to modify the following labels for the letters to be capital letters. I also need the cross-references (using cleverref) to match the newly defined style. There are several related ...
from Hot Questions - Stack Exchange OnStackOverflow
via Blogspot