Usar símbolos Unicode poco comunes

Question

Estoy tratando de hacer referencia a una función nombrada Γ⊢ε⦂τ-⇒-Γoken mi artículo, pero parece que los caracteres Unicode se eliminan y --oken su lugar los obtengo.

Lo que he probado:

• pdflatex con \usepackage[T1]{fontenc}y \usepackage[utf8]{inputenc},
• xelatex con \usepackage{fontspec}(esto en realidad proporciona algo de progreso y puedo ver la gamma en mayúsculas, lo que da como resultado --Γok!),
• lualatex con uno \usepackage{fontspec}o \usepackage{luatextra}ambos: el mismo resultado.

Por lo que tengo entendido, la fuente que se utiliza simplemente no tiene los glifos correspondientes, pero ¿qué puedo hacer al respecto, preferiblemente de una manera fácilmente reproducible, ya que planeo enviar mi artículo a algún lugar?

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}

Usar un nombre más convencional no es mala idea.

Algunos consejos generales:

Siempre es una buena idea agregar \tracinglostchars=2cerca de la parte superior de su documento. Esto al menos le avisará cuando a una fuente que utilice le falte un símbolo, en lugar de registrar el error en silencio.

Debe seleccionar una fuente que contenga los símbolos que desea. DejaVu Sans, XITS Math, STIX Two Math y Code2000 son especialmente completos. FileFormat.info también le brinda una lista de fuentes comunes que admiten un símbolo Unicode determinado.