Sugerencias y solicitudes de funciones para el diseño de una fuente para artículos/libros de matemáticas

Question

Un poco de contexto e introducción: Actualmente estoy trabajando en una familia de fuentes ("Darwin") diseñada para su uso en escritura formal y optimizada en particular para su uso en artículos de matemáticas, libros, etc. Debe cumplir con los siguientes requisitos, que ninguna fuente disponible para LaTeX cumple:

1. Debe ser completamente gratuito y de código abierto.
2. Debe tener una cobertura excepcional de símbolos en muchos idiomas diferentes, cubriendo prácticamente todos los idiomas que hacen uso de los alfabetos latino, cirílico y griego.
3. Debe incluir una serie de tamaños ópticos, que son familias de fuentes adicionales con optimizaciones específicas de tamaño: piense en una fuente extra para notas al pie, una fuente para texto de párrafo habitual y una fuente extra para portadas de libros.
4. Debe incluir una familia de fuentes matemáticas coincidentes para uniformizar el estilo en todo el documento. Esto incluye todos los símbolos matemáticos habituales, así como familias de fuentes para \mathbb, \mathsf, etc.

Actualmente, el estilo regular de la fuente se ve así (por favor, ignore el espaciado actualmente desigual):

También he preparado muestras en PDF de artículos en inglés, ruso y griego compilados usando la versión actual de la fuente, aunque tenga en cuenta que solo contienen el estilo regular de la versión de texto y actualmente tienen un espaciado muy desigual:

1. Muestra en inglés: La prismatización de $p$-adic formal schemes de Bhatt–Lurie. Original: arXiv:2201.06124.
2. Muestra en ruso: Dualidades estereotípicas en Geometría de Sergei Akbarov. Original: arXiv:2311.05131.
3. Muestra en griego: Métodos de subespacio de Krylov para la solución de sistemas lineales de Toeplitz de Grigorios Tachyridis. Original: arXiv:2303.03223.

También debo señalar que estas muestras se compilaron a partir de fuentes de artículos descargados directamente de arXiv, y como tal no tengo relación con sus autores.

---

Ahora, para la pregunta real: A lo largo de mi investigación y de conversaciones con amigos y colegas, a menudo he encontrado situaciones en matemáticas que requieren símbolos especiales o características de fuentes/paquetes de LaTeX, así como preferencias distintas cuando se trata de ciertas elecciones de fuentes. Por ejemplo, estas incluyen:

1. El uso de símbolos específicos para ciertas áreas y que generalmente no están cubiertos por las fuentes predeterminadas de LaTeX, como:

   a) El hiragana para la Yoneda embedding en teoría de categorías.

   b) La letra cirílica para el grupo de Tate–Shafarevich en geometría aritmética.

   c) La letra cirílica para la función de Lobachevsky en geometría hiperbólica.

   d) La letra cirílica para campos vectoriales evolutivos en un haz jet en algunos artículos, como en este, sobre la geometría de EDPs, como señaló Igor Khavkine.

2. Mejor soporte de glifos para \mathcal, \mathbb, \mathfrak, etc., como:

   a) \mathbb para el alfabeto en minúsculas.

   b) \mathbb para griego.

   c) Cosas más exóticas como \mathcal o \mathfrak para griego.

3. Una preferencia por el "llenado vacío" (estilo txof) sobre el doble negro en negrita estrucado (amsbb) o viceversa, por lo que tener ambas versiones disponibles en una fuente sería agradable:

vs.

4. Un conjunto de delimitadores más grande, como se discutió aquí, para situaciones en las que uno necesitaría, por ejemplo, paréntesis más grandes que \big(...\big) pero más pequeños que \Big(...\Big).

5. Delimitadores de tamaño variable para paréntesis dobles ((...)), corchetes dobles [[...]] y corchetes angulares dobles << ... >>, una solicitud de función por Willie Wong.

6. Manejo nativo y fácil de texto en negrita y matemáticas en negrita para encabezados de sección y capítulo, una solicitud de función por Apoorv Potnis.

7. Optimización integrada de microtipos a través de un eje de ancho variable, lo que permite una optimización del espaciado aún mejor que la que ya hace maravillosamente microtipos.

8. Símbolos para relaciones binarias que faltan en los paquetes actuales de LaTeX, como versiones de desigualdad de $\asymp$, una solicitud de función por Iosif Pinelis.

Planeo abordar todos estos puntos y más en el desarrollo de Darwin, pero estoy seguro de que la lista anterior está lejos de ser exhaustiva y debe haber innumerables características más que beneficiarían a la comunidad. Entonces, siguiendo el espíritu de los elementos anteriores, me gustaría preguntar: ¿hay alguna característica de fuente que desee tener como parte de su trabajo, pero que no estaba disponible o requería soluciones alternativas en el momento en que las pensó?

Aquí "características" deben entenderse como incluyendo cosas en el espíritu de los ejemplos anteriores, pero no limitadas a ellos.

También quiero señalar que las sugerencias sin detalles técnicos son más que bienvenidas. Parte de la razón por la que quería hacer esta pregunta en MO en lugar de en algún lugar como TeX.SE es que creo que los matemáticos que no están familiarizados con el diseño de tipos o las particularidades de LaTeX seguramente también tienen comentarios extremadamente valiosos para ofrecer. Por lo tanto, por ejemplo, sugerencias como "este símbolo esbozado a lápiz abajo funcionaría genial para hacer [x] en el área [y], pero no tengo conocimiento de una implementación de ello, o encuentro las actuales defectuosas debido a [razón]" también serían sumamente bienvenidas.

Answer 1

No estoy seguro si esto ha sido mencionado, pero muchos matemáticos están buscando un \bigtimes similar a \bigotimes = $\bigotimes$.

Answer 2

Esto puede que no sea una respuesta a tus preguntas, pero también es demasiado largo para un comentario. ¡Espero que pueda ser útil, así que lo dejo aquí!

En primer lugar, tu fuente se ve bien, ¡así que espero que sigas trabajando duro!

Punto más importante: veo que nadie comenta sobre el formato. Si tuviera que hacer una fuente matemática hoy, sin duda sería una fuente matemática Unicode. Hay varias razones para esto, una de ellas es que la mayoría de los símbolos que la gente pide (y muchos que nadie pide) realmente tienen sus espacios allí. A continuación, doy algunos ejemplos en imágenes abajo, donde he utilizado la fuente Stix Two Math, que es bastante completa.

Flechas apuntando a la izquierda como acentos:

Producto guirnalda (no es el símbolo solicitado, pero este es el de la posición oficial U+2240, podrías en el diseño de tu fuente un símbolo mejor, o tener el estándar con uno alternativo que la gente pueda usar):

El cirílico puede estar allí (así como todo el griego capital):

Menor o igual que:

Símbolo independiente:

Varios símbolos binarios (nota aquí que Stix (arriba) no los tiene uniformes mientras que Latin Modern (abajo) sí)

Otra razón para mantenerse dentro de los límites de Unicode math es la accesibilidad. Si uno quiere tener la posibilidad de copiar y pegar desde archivos pdf, es crucial. Si a uno solo le importa la salida en el pdf, esto no es un gran problema.

También hay desventajas con Unicode math. Existen muchos alfabetos, pero a algunos les faltan algunos (existe negrita griega sin serifa, pero la griega sin serifa no, para dar un ejemplo). Aún es posible usar rangos privados para hacerlos disponibles para paquetes de macros, pero entonces uno debe recordar que no podrá copiar y pegar y conservar su significado. Otra mala cosa es que hay espacios en blanco en los alfabetos. Así que, la h no está entre la g cursiva y la i cursiva, sino en otro lugar, porque va como la constante de Planck y el consorcio Unicode decidió en contra de más de un espacio que se ve igual, o algo así. Malo.

Cuando se trata de la implementación, las diferentes fuentes matemáticas Unicode existentes hacen las cosas un poco diferentes, por lo que algunas combinaciones a veces se ven un poco mal. Una cosa es la corrección cursiva. Un uso excesivo de ella puede hacer que caracteres importantes como el f cursiva sean difíciles de usar:

La línea superior aquí es (f) en TeX Gyre Bonum Math. Depende mucho de la corrección cursiva. En la segunda línea es cómo puede verse una versión fija. En la tercera línea vemos la misma expresión en Lucida Bright Math. En esa fuente no se usó ninguna corrección cursiva en absoluto para estos símbolos, y aún se ve muy bien. Por lo tanto, una sugerencia es no hacer que tu fuente dependa mucho de la corrección cursiva.

En cuanto a los tamaños ópticos, probablemente no me molestaría en tener y mantener varias versiones. Lo mismo probablemente se aplica cuando se trata de matemáticas en negrita. Mantener una fuente negrita completa parece ser mucho trabajo. Uno ya puede falsificar la fuente original para que sea un poco más negrita, y para el uso raro en títulos, creo que es lo suficientemente bueno:

Algunas sugerencias generales (quizás obvias):

• Utiliza muchas variantes para delimitadores antes de extenderlos. Esto es especialmente importante para aquellos que son difíciles de tener como extensibles (por ejemplo, los corchetes angulares).
• Asegúrate de que todos los acentos que pueden crecer lo hagan.
• Agrega alternativas de estilo para caracteres que las necesiten. Por ejemplo, el producto guirnalda parece ser uno de ellos. Entonces, es decisión del usuario elegir.
• No hay espacios para el alfabeto caligráfico, solo para el script. Asegúrate de agregar tanto un alfabeto caligráfico como un alfabeto script. Haz que uno sea una alternativa de estilo del otro (así es como se hace en Stix two math). Luego, los paquetes de macros pueden hacer ambos disponibles, uno a través de \mathcal y el otro a través de \mathscr, por ejemplo.
• Ten cuidado con dónde estableces los anclajes de acento, y establécelos para todos los alfabetos, no solo para los latinos itálicos.
• Haz que el aspecto sea consistente. La mejor manera de probar probablemente sea usando artículos disponibles que ya usan varios símbolos.

Hay mucho más que decir, pero me detengo aquí. ¡Espero ver tu nueva fuente!