tex-core – \ nada, \ varnothing y \ emptyset

Pregunta:

Esta es probablemente una pregunta sobre la historia de TeX.

¿Por qué no hay comando \nothing ? Si no hay \nothing , ¿por qué \varnothing se llama \varnothing lugar de \nothing ?

Si intento compilar un documento sin \nothing , aparece el error "! Secuencia de control indefinida".

El comando \varnothing está definido por el paquete amssymb , y \emptyset está definido por TeX mismo, pero ninguno define \nothing . ¿ \nothing definido por algo?


Me puse en contacto con el autor de cjw-latex, Colin J. Wynne. No recuerda por qué escribió esa línea, ya que fue hace más de 20 años. Pero el dijo que

Mi mejor hipótesis de trabajo es que una versión anterior de AMS- (La) TeX usó, de hecho, la secuencia \nothing como alias o sustituto de \emptyset . AMS- (La) TeX, de hecho, inventó sus propios nombres para algunas cosas y bastantes símbolos personalizados. Dado que yo prefería \varnothing , puedo asumir que la mayoría de la gente también lo hizo, y eventualmente dejaron \nothing , pero dejaron \varnothing porque esa era la secuencia de control que la mayoría de la gente estaba usando.

Actualmente espero que se pueda descubrir algo examinando ftp://ftp.tug.org/historic/ Desafortunadamente, la versión más antigua de AMS-TeX que tienen es de 1993, por lo que no podemos probar la teoría de Colin. También tienen un LaTeX de 1983, que define \emptyset pero no define \nothing .

Dado que esta resultó ser una pregunta tan difícil, le doy una recompensa.

Respuesta:

no una respuesta definitiva, pero quizás una hipótesis razonable …

\varnothing es más corto que \varemptyset . Los matemáticos no suelen ser grandes mecanógrafos.

aunque \varempty es aún más corto, \empty , aunque no es un primitivo, tiene un significado bastante diferente, y una "var" de eso solo sería confuso.

"the joy of tex", si bien menciona a ambos, no tiene nada útil que decir al respecto (lo siento, debe estar en auto-juego de palabras esta mañana), y de hecho ni siquiera señala que tienen el mismo significado.

la secuencia de control \nothing no aparece en cjwmath.sty , donde se equipara a \varnothing , y hay un alias adicional, \leer , para \nothing . No encontré este nombre en ningún otro lugar de ningún paquete en tex live.

así que la razón, para mí, se pierde en las brumas del tiempo.

Supongo que podría preguntarle a Mike Spivak.


He consultado la documentación del sistema de composición utilizado en ams antes de tex. el nombre dado al círculo con barra es "conjunto nulo", para el cual se asignó un "nombre corto", empty , para que lo usen los teclados de entrada. (el sistema estaba altamente codificado y el código canónico era *yo ; los usuarios de teclado eran libres de usar la forma que prefirieran, es decir, más fácil de recordar). Por lo tanto, el término "nada" no se usaba en ams en ninguna relación con este símbolo. antes de la creación de las fuentes de símbolos ams.

lo que habría en esas fuentes fue definido por un comité; Envié una pregunta a uno de los pocos miembros supervivientes del comité con la esperanza de que se acuerde.

Le pregunté a Mike Spivak y no lo recuerda, excepto que está bastante seguro de que no fue el responsable.


Encontré el aviso de lanzamiento definitivo de las fuentes de símbolos extra ams originales en la edición de julio de 1985 de Tugboat . estas eran las fuentes msxm y msym , e inicialmente (y erróneamente) denominadas "euler", un error corregido en una actualización más tarde ese año . el nombre \varnothing nada se usa, sin embargo, sin ningún comentario sobre la elección de nombres. (y, desafortunadamente, falta la página en el escaneo de la actualización que mostraría este símbolo; pero he confirmado su presencia en la copia impresa en mi estantería. Intentaré obtener la copia publicada en el sitio web del remolcador corregido.)

Leave a Comment

Your email address will not be published.

Scroll to Top

istanbul avukat

-

web tasarım