☰

Verwenden ungewöhnlicher Unicode-Symbole

tag-icon • tag-icon fonts unicode
Verwenden ungewöhnlicher Unicode-Symbole

Ich versuche, auf eine Γ⊢ε⦂τ-⇒-Γokin meinem Dokument genannte Funktion zu verweisen, aber es sieht so aus, als würden die Unicode-Zeichen entfernt, und ich erhalte --okstattdessen:

Was ich versucht habe:

  • pdflatex mit \usepackage[T1]{fontenc}und \usepackage[utf8]{inputenc},
  • xelatex mit \usepackage{fontspec}(das bringt tatsächlich Fortschritte, und ich kann das Gamma in Großbuchstaben sehen, was zu --Γok!) führt,
  • lualatex mit entweder \usepackage{fontspec}oder \usepackage{luatextra}oder beiden – gleiches Ergebnis.

So wie ich es verstehe, verfügt die verwendete Schriftart einfach nicht über die entsprechenden Glyphen, aber was kann ich dagegen tun, vorzugsweise auf eine leicht reproduzierbare Weise, da ich vorhabe, meine Arbeit irgendwann irgendwo einzureichen?

Antwort1

\documentclass{article}
\tracinglostchars=2
\usepackage{unicode-math}

\pagestyle{empty} % To format the MWE on TeX.SX

\defaultfontfeatures{ Scale=MatchLowercase, Ligatures=TeX }
\newfontfamily\symbolfont{STIX Two Math}

\newcommand\functionname[1]{\textnormal{\symbolfont #1}}

\begin{document}
In text mode, \functionname{Γ⊢ε⦂τ-⇒-Γok} is a function.

In math mode, \(\functionname{Γ⊢ε⦂τ-⇒-Γok}\).
\end{document}

STIX Two Math-Beispiel

Die Verwendung eines konventionelleren Namens ist keine schlechte Idee.

Einige allgemeine Tipps:

\tracinglostchars=2Es ist immer eine gute Idee , es oben in Ihrem Dokument hinzuzufügen . Dadurch werden Sie zumindest gewarnt, wenn in einer von Ihnen verwendeten Schriftart ein Symbol fehlt, anstatt den Fehler stillschweigend zu protokollieren.

Sie müssen eine Schriftart auswählen, die die gewünschten Symbole enthält. DejaVu Sans, XITS Math, STIX Two Math und Code2000 sind besonders umfangreich. FileFormat.info bietet Ihnen auch eine Liste gängiger Schriftarten, die ein bestimmtes Unicode-Symbol unterstützen.

verwandte Informationen