_From today's Zoom discussion._ We could introduce overloads for `operator<<` for `Expr` or `ExprPtr` to avoid repeated use of `to_latex()` everywhere.
From today's Zoom discussion.
We could introduce overloads for
operator<<forExprorExprPtrto avoid repeated use ofto_latex()everywhere.