Hi,
Using "init_printing(use_unicode=false)" is a workaround. The
problem is the "Terminal" (FingerTerm) in Sailfish has fixed font type.
On other applications (a Qt/QML software) using SymPy, we can usually
choose a font type with complete Unicode support (like "DejaVu Sans Mono").
On Sunday I've sent my suggestion to Sailfish OS developers at Jolla :
"So I repeat my suggestion below, to have "DejaVu Sans Mono" font
available in Sailfish OS. And FingerTerm able to change the font."
Regards,
Roberto