<div id="comment:0"></div> Follow-up from #32665. Part of #32601 CC: @DaveWitteMorris Component: **symbolics** Author: **Matthias Koeppe** Branch/Commit: **[`dad5253`](https://github.com/sagemath/sagetrac-mirror/commit/dad5253df5cca0d5a4d376a347ffdad8b9e85d3c)** Reviewer: **Kwankyu Lee** _Issue created by migration from https://trac.sagemath.org/ticket/34215_