Printing with Unicode characters is supported in rev#100793 of EiffelStudio 17.11 intermediate release. To achieve that you need to - use RTF backend (i.e. do not set "Use Postscript" in the preferences) - select a font that supports all used character glyphs (e.g., it could be "Segoe UI Symbol" for non-keyword text)