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