Jürgen Spitzmüller wrote:
I found it slightly misleading, as "protect" of course has a specific meaning in LaTeX---one that makes little sense there. But I don't have any bright alternative ideas.rgheck wrote:Maybe the "protect" isn't very clear.Maybe the protect isn't, but the associated tooltip should.
rh