\lg and \liminf are known now: the tests of unknown control words use \tr
and \Var instead.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>