LaTeX visitors for user-supplied Jacobians.
Visitors: WithJacobian
A Jacobian override changes how a term is differentiated, not what it equals, so
the rendered formulation shows the wrapped expression alone — the same choice the
CTCS visitor makes in rendering the constraint it stands for.