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+

Thank you sharkc. It seens that it depends on the software one use to open the PDF file. Say using Chrome to open it is fine but not via preview in Mac.