TeXmacs-symbolic.svg