一般的でないUnicode記号の使用

Question

Γ⊢ε⦂τ-⇒-Γok論文で指定された関数を参照しようとしていますが、Unicode 文字が削除され、--ok代わりに次のようになります。

私が試したこと:

• pdflatex\usepackage[T1]{fontenc}と\usepackage[utf8]{inputenc}、
• xelatex と\usepackage{fontspec}(これは実際にいくらかの進捗を示し、大文字のガンマが表示され、結果として--Γok!)、
• lualatex のいずれかまたは両方を使用すると\usepackage{fontspec}、\usepackage{luatextra}結果は同じになります。

私の理解では、使用されているフォントには対応するグリフがないのですが、最終的には論文をどこかに提出する予定なので、できれば簡単に再現できる方法で、これについて何ができるでしょうか?

Answer 1

\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}

より一般的な名前を使用するのは悪い考えではありません。

一般的なヒント:

ドキュメントの先頭近くに追加しておくと良いでしょう\tracinglostchars=2。こうすることで、使用しているフォントに記号が欠けている場合に、エラーを黙ってログに記録するのではなく、少なくとも警告が表示されます。

必要な記号を含むフォントを選択する必要があります。DejaVu Sans、XITS Math、STIX Two Math、Code2000 は特に包括的です。FileFormat.info には、特定の Unicode 記号をサポートする一般的なフォントのリストも用意されています。