TeXmacs → PDF: TikZ figures render differently

Hi all,

When I export a PDF from TeXmacs, the TikZ diagrams look different from the TeXmacs preview. In the editor they appear as in the first screenshot,

55%E2%80%AFAM !

but the generated PDF looks like the second.

!

Has anyone encountered this mismatch? Is there a setting or workaround to make the PDF match the on-screen rendering?

Below are codes:

\documentclass{standalone}
\usepackage{amsmath,amssymb}
\usepackage{tikz}
\usetikzlibrary{shadings}
\begin{document}
%tikz -width 35pt
\begin{tikzpicture}[line width=1.2pt, baseline=-0.2ex]
\draw[draw=cyan!50!black] (0,0) – (-1.0,-1.2);
\draw[draw=cyan!50!black] (0,0) – (1.0,-1.2);
\draw[draw=cyan!50!black] (0,0) – (0.0,-1.5);

\node[circle, minimum size=19pt,
shade, ball color=cyan!50!white,
draw=black, line width=0.4pt] at (-1.0,-1.2) {\mathfrak{l}_2};
\node[circle, minimum size=19pt,
shade, ball color=cyan!50!white,
draw=black, line width=0.4pt] at (0,-1.5) {\mathfrak{l}_3};
\node[circle, minimum size=19pt,
shade, ball color=cyan!50!white,
draw=black, line width=0.4pt] at (1.0,-1.2) {\mathfrak{l}_4};
\end{tikzpicture}
\end{document}

Best regards,
Yeoi

didn’t see what you observed. Following is a tm file with the tikz codes you provided, base64 -d it to see what happened

PFRlWG1hY3N8Mi4xLjQ+Cgo8c3R5bGV8PHR1cGxlfGFydGljbGV8cHJldmlldy1yZWZ8c21hcnQt
cmVmfGZyYW1lZC10aGVvcmVtc3xwYWRkZWQtcGFyYWdyYXBoc3xudW1iZXItbG9uZy1hcnRpY2xl
Pj4KCjxcYm9keT4KICA8XGhpZGUtcHJlYW1ibGU+CiAgICAtLS0gQXV0b21hdGljYWxseSBhcHBl
bmRlZCBwcmVhbWJsZSAtLS0KCiAgICA8YXNzaWdufGluZm8tZmxhZ3xkZXRhaWxlZD4KCiAgICA8
YXNzaWdufGdlbmVyYWwtY210fDxtYWNyb3xuYW1lfGJvZHl8PGNvbXBvdW5kfHJlbmRlci10b2Rv
fGRhcmsKICAgIGJsdWV8cGFzdGVsIGJsdWV8PGFyZ3xuYW1lPjogPGFyZ3xib2R5Pj4+PgoKICAg
IDxhc3NpZ258Y210Mnw8bWFjcm98Ym9keXw8Z2VuZXJhbC1jbXR8aHV6Znw8YXJnfGJvZHk+Pj4+
CgogICAgPGFzc2lnbnxjbXQxfDxtYWNyb3xib2R5fDxnZW5lcmFsLWNtdHx8PGFyZ3xib2R5Pj4+
PgoKICAgIDxuZXctdGhlb3JlbXxjbGFpbXxDbGFpbT4KCiAgICA8YXNzaWdufGN8PG1hY3JvfGJv
ZHl8PHdpdGh8Y29sb3J8Z3JlZW58PGFyZ3xib2R5Pj4+PgoKICAgIDxhc3NpZ258Y210fDxtYWNy
b3xib2R5fDx3aXRofGNvbG9yfGJsdWV8PGFyZ3xib2R5Pj4+PgoKICAgIDxhc3NpZ258cXw8bWFj
cm98Ym9keXw8d2l0aHxjb2xvcnxyZWR8PGFyZ3xib2R5Pj4+PgoKICAgIDxhc3NpZ258YnJhfDxt
YWNyb3x4fFw8bGFuZ2xlXD48YXJnfHg+XHw+PgoKICAgIDxhc3NpZ258a2V0fDxtYWNyb3x4fFx8
PGFyZ3x4Plw8cmFuZ2xlXD4+PgoKICAgIDxhc3NpZ258YnJha2V0fDxtYWNyb3x4fHl8XDxsYW5n
bGVcPjxhcmd8eD5cfDxhcmd8eT5cPHJhbmdsZVw+Pj4KCiAgICA8YXNzaWdufGtldGJyYXw8bWFj
cm98eHx5fFx8PGFyZ3x4Plw8cmFuZ2xlXD5cPGxhbmdsZVw+PGFyZ3x5Plx8Pj4KCiAgICA8YXNz
aWdufGJva3w8bWFjcm98bGVmdHxvcHxyaWdodHxcPGxhbmdsZVw+PGFyZ3xsZWZ0Plx8PGFyZ3xv
cD5cfDxhcmd8cmlnaHQ+XDxyYW5nbGVcPj4+CgogICAgPGFzc2lnbnx1fDxtYWNyb3x4fDxzcGFj
ZXwwc3BjPjxyc3VwfDxhcmd8eD4+Pj4KCiAgICA8YXNzaWdufGR8PG1hY3JvfHh8PHNwYWNlfDBz
cGM+PHJzdWJ8PGFyZ3x4Pj4+PgoKICAgIC0tLSBFbmQgYXV0byBwcmVhbWJsZSAtLS0KICA8L2hp
ZGUtcHJlYW1ibGU+CgogIFw7CgogIDxcc2NyaXB0LWlucHV0fHRpa3p8ZGVmYXVsdD4KICAgICUg
dGlreiAtd2lkdGggMzVwdAoKICAgIFxcZG9jdW1lbnRjbGFzc1t0aWt6XXtzdGFuZGFsb25lfQoK
ICAgIFxcdXNlcGFja2FnZXthbXNtYXRoLGFtc3N5bWJ9CgogICAgXFx1c2VwYWNrYWdle3Rpa3p9
CgogICAgXFx1c2V0aWt6bGlicmFyeXtzaGFkaW5nc30KCiAgICBcXGJlZ2lue2RvY3VtZW50fQoK
ICAgIFxcYmVnaW57dGlrenBpY3R1cmV9W2xpbmUgd2lkdGg9MS4ycHQsIGJhc2VsaW5lPS0wLjJl
eF0KCiAgICBcIFwgXFxkcmF3W2RyYXc9Y3lhbiE1MCFibGFja10gKDAsMCkgLS0gKC0xLjAsLTEu
Mik7CgogICAgXCBcIFxcZHJhd1tkcmF3PWN5YW4hNTAhYmxhY2tdICgwLDApIC0tICgxLjAsLTEu
Mik7CgogICAgXCBcIFxcZHJhd1tkcmF3PWN5YW4hNTAhYmxhY2tdICgwLDApIC0tICgwLjAsLTEu
NSk7CgogICAgXCBcIFxcbm9kZVtjaXJjbGUsIG1pbmltdW0gc2l6ZT0xOXB0LHNoYWRlLCBiYWxs
CiAgICBjb2xvcj1jeWFuITUwIXdoaXRlLGRyYXc9YmxhY2ssIGxpbmUgd2lkdGg9MC40cHRdIGF0
ICgtMS4wLC0xLjIpIHtsMn07CgogICAgXCBcIFxcbm9kZVtjaXJjbGUsIG1pbmltdW0gc2l6ZT0x
OXB0LHNoYWRlLCBiYWxsCiAgICBjb2xvcj1jeWFuITUwIXdoaXRlLGRyYXc9YmxhY2ssIGxpbmUg
d2lkdGg9MC40cHRdIGF0ICgwLC0xLjUpIHtsM307CgogICAgXCBcIFxcbm9kZVtjaXJjbGUsIG1p
bmltdW0gc2l6ZT0xOXB0LHNoYWRlLCBiYWxsCiAgICBjb2xvcj1jeWFuITUwIXdoaXRlLGRyYXc9
YmxhY2ssIGxpbmUgd2lkdGg9MC40cHRdIGF0ICgxLjAsLTEuMikge2w0fTsKCiAgICBcXGVuZHt0
aWt6cGljdHVyZX0KCiAgICBcXGVuZHtkb2N1bWVudH0KICA8L3NjcmlwdC1pbnB1dHw+CjwvYm9k
eT4KCjxcaW5pdGlhbD4KICA8XGNvbGxlY3Rpb24+CiAgICA8YXNzb2NpYXRlfHBhZ2UtaGVpZ2h0
fGF1dG8+CiAgICA8YXNzb2NpYXRlfHBhZ2UtbWVkaXVtfHBhcGVyPgogICAgPGFzc29jaWF0ZXxw
YWdlLXR5cGV8bGV0dGVyPgogICAgPGFzc29jaWF0ZXxwYWdlLXdpZHRofGF1dG8+CiAgPC9jb2xs
ZWN0aW9uPgo8L2luaXRpYWw+