Diseño de interfaz para matemáticas adultas serias: renderizado, entrada y el tema Adulto/Experto

Hallazgos

1. Tipografía matemática: KaTeX vs MathJax

La página de inicio de KaTeX enmarca su valor en torno a la velocidad: “Ultrarrápido, incluso en páginas con cientos de expresiones,” gracias a un renderizado síncrono que “no necesita hacer reflow de la página,” a diferencia de motores que sí lo hacen [2]. No tiene dependencias externas, renderiza de forma idéntica en el servidor vía Node.js (pre-renderizado a HTML plano, costo cero de JS del lado del cliente para contenido estático), y compara su calidad tipográfica contra el TeX de Knuth como “el estándar de oro de la tipografía matemática” [2]. Con licencia MIT, mantenido por Khan Academy y colaboradores [1]. Su debilidad documentada: una superficie de comandos LaTeX más estrecha que MathJax (su tabla de soporte lista más de 1000 funciones pero marca las no soportadas en lugar de degradarse en silencio) [1], y sin capa de accesibilidad/habla propia — la accesibilidad de KaTeX típicamente se añade mediante posprocesamiento ARIA de terceros.

MathJax se posiciona como “matemáticas hermosas y accesibles en todos los navegadores,” gestionado por una organización sin fines de lucro (501(c)(3)) respaldada por la American Mathematical Society y el IEEE [3]. Soporta tres modos de salida — CommonHTML/CHTML, SVG y MathML nativo — aceptando TeX, MathML y AsciiMath como entrada, con renderizado en navegador y Node.js [3]. Sus extensiones de accesibilidad son las que definen cualquier afirmación de “seriedad profesional”: los módulos Explorer/Speech de la versión 4 generan cadenas de habla por (sub)expresión mediante conjuntos de reglas seleccionables por el usuario y atributos ARIA, funcionando sin importar si el lector de pantalla entiende MathML, con salida Braille Nemeth/Euro — validado en 13 combinaciones navegador/SO/lector de pantalla (NVDA necesita “Combine with Speech” para Braille correcto; JAWS funciona con los valores por defecto) [6].

Lectura práctica: KaTeX para el camino rápido (enunciados de problemas, retroalimentación en vivo — la mayoría del contenido, la mayor parte del tiempo); MathJax cargado selectivamente detrás de un interruptor de accesibilidad o donde una demostración necesite la superficie LaTeX más completa. Cargar ambos de forma permanente es peso muerto innecesario.

2. MathML Core y la brecha de accesibilidad

MathML Core es el subconjunto orientado a navegador de la especificación original — el subconjunto semántico nunca se implementó en los navegadores y el subconjunto de presentación produjo implementaciones tempranas inconsistentes, así que Core se definió “adaptado para funcionar sin fricciones con HTML, CSS, DOM y JavaScript” usando LaTeX y las convenciones de OpenType Math como referencia [4]. MDN lo registra como “Baseline Widely Available… desde enero de 2023” — nativo en Chrome, Firefox, Safari, Edge [4]. Las funciones heredadas anteriores a Core pueden seguir apareciendo en contenido antiguo; el Math Working Group mantiene polyfills para la brecha [4].

La brecha que importa: el soporte de renderizado nativo no dice nada sobre si un lector de pantalla anuncia el contenido de forma útil. Eso se resuelve con motores explícitos de reglas de habla (Explorer de MathJax, conjuntos de reglas derivados de MathSpeak), no solo con soporte de MathML [3][4][6]. Una página que envía marcado MathML sin ninguna anotación ARIA/habla es técnicamente conforme con los estándares y sigue siendo inaccesible en la práctica — la brecha de calidad más común en sitios con mucho contenido matemático que afirman cumplir con accesibilidad.

3. Entrada de matemáticas: tecleo, teclados virtuales, escritura a mano

MathLive (licencia MIT, arnog/mathlive, publicado como web components <math-field>, <math-span>, <math-div>) es la opción abierta más completa para entrada matemática por teclado/táctil: tecleo directo de LaTeX con 800+ comandos integrados, un teclado matemático virtual listo para móvil más atajos de teclado físico, y exportación/importación de ida y vuelta entre LaTeX, MathML, ASCIIMath, Typst y MathJSON [5][7]. La accesibilidad es propia, no un añadido: comportamiento “amigable con lector de pantalla” con etiquetas ARIA auto-generadas optimizadas para habla y salida de matemática-a-habla [7]. Esto la hace la opción única más fuerte para entrada por teclado en escritorio y tableta.

El reconocimiento de escritura a mano es arquitectónicamente separado. MyScript Math es un motor comercial de escritura a mano a digital impulsado por IA (no OCR): interpreta ecuaciones escritas a mano en vivo, las resuelve, y soporta un gesto de “tachado” para corrección; se distribuye como apps de consumidor (iOS/Android) y, de forma más relevante, como SDK más APIs REST (developer.myscript.com) para incrustarse en aplicaciones personalizadas [7]. Apunta a entrada con stylus (hardware clase Apple Pencil), no táctil ni con mouse. Scribble de Apple y Windows Ink son capas de escritura a mano a nivel de sistema operativo con análisis matemático menos específico de dominio — menos fricción (en el dispositivo, sin SDK) pero más débil en notación estructurada (fracciones, exponentes, matrices) que un reconocedor matemático de propósito específico.

4. Interfaces estilo notebook y lo que se lee como “profesional”

En Jupyter, Desmos, GeoGebra y Wolfram Alpha, el vocabulario compartido que señala “herramienta seria” en lugar de “app de juguete” incluye: estado persistente y direccionable (una celda de notebook, un gráfico guardado, una expresión re-ejecutable) en lugar de un solo ciclo efímero de pregunta-respuesta; interacción teclado-primero con atajos visibles y aprendibles en lugar de menús exclusivamente dirigidos por puntero; distribución de información densa pero organizada (múltiples paneles, sin un único botón “siguiente” sobredimensionado); y matemáticas tipografiadas —no renderizadas como imagen— que se pueden seleccionar, copiar y re-editar. GeoGebra apunta a amplitud a través de “geometría, álgebra, hojas de cálculo, graficación, estadística y cálculo en un solo motor” para “todos los niveles educativos,” de K-12 hasta universidad, equilibrando facilidad de uso contra potencia en lugar de irse a uno de los dos extremos por defecto [10]. Esta es la presión de diseño opuesta a un producto elemental gamificado: menos elementos decorativos, más manipulación directa del propio objeto matemático.

5. Modo oscuro, distribución densa y ergonomía de sesiones largas

Las herramientas técnicas de sesión larga (IDEs, editores LaTeX, Jupyter, entornos de cómputo científico) convergen en tematización oscura por defecto o primero-oscuro, alta densidad de información por pantalla (múltiples paneles, mínimo espacio en blanco comparado con apps de consumidor), numerales monoespaciados o semi-monoespaciados para alineación de tablas/matrices, y colores de acento apagados y de baja saturación reservados para estado (error, activo, seleccionado) en lugar de decoración. Esta es una gramática visual distinta a una UI infantil brillante, de alto contraste y objetivos táctiles grandes — los dos no deben compartir los tokens de espaciado/color por defecto de una biblioteca de componentes si se quiere que la franja adulta se lea como un registro diferente y creíble en lugar de una app infantil reetiquetada.

6. Andragogía: cómo difiere la motivación adulta

Las seis suposiciones de aprendizaje adulto de Knowles: (1) autoconcepto — los adultos requieren participar y controlar su propia ruta de aprendizaje en lugar de ser dirigidos; (2) experiencia — la experiencia previa, incluido el error previo, es en sí misma un recurso de aprendizaje; (3) disposición — los adultos se involucran con material que tiene aplicabilidad inmediata, no material secuenciado según la lógica propia de un currículo; (4) orientación — el aprendizaje está centrado en problemas, no en temas; (5) motivación — los impulsores internos (dominio, autorrealización) importan más que los externos (calificaciones); (6) necesidad de saber — los adultos quieren el “por qué” antes del “cómo” [8]. Knowles después suavizó la teoría hacia un continuo pedagogía-andragogía en lugar de una división estricta, y los críticos notan que su propia práctica socavó la afirmación de “autodirección total,” y que los principios podrían ser simplemente buena enseñanza en general [8]. La conclusión accionable: da a los usuarios de la franja adulta control visible (saltar, ir directamente a un tema, elegir dificultad) y una razón visible de “por qué este problema” — retener ambos es el modo de fallo más ligado a la desconexión.

7. Por qué los adultos abandonan los MOOCs

La cifra más citada: los MOOCs de Harvard/MIT promediaron 22% de finalización en 2012 [9]. La investigación de Stanford categorizó a los participantes en auditores (observan sin evaluación), quienes completan, aprendices desconectados (abandono rápido), y muestreadores (compromiso ocasional) — una taxonomía que se traslada a cómo se comportarán realmente los usuarios de una app de matemáticas para adultos, argumentando en contra de diseñar solo para “quienes completan” [9]. La finalización varió agudamente según la credencial previa: solo 8% entre participantes de nivel universitario completó frente a 27% entre participantes de nivel bachillerato — sugiriendo que los adultos con credenciales muestrean más y se comprometen menos, probablemente por más usos competitivos, ya validados, de su tiempo [9]. La explicación dominante para el abandono es la ausencia de interacción interpersonal y apoyo, no la dificultad del contenido — una comparación citada encontró que 32% de los estudiantes reprobó o se retiró de cursos en línea frente a 19% en equivalentes presenciales, atribuido a altos requisitos de autonomía sin estructura compensatoria [9]. Para una app de matemáticas de uso solitario sin cohorte ni instructor, este es el riesgo más agudo: el producto debe suministrar estructura (progresión visible, avisos de retorno espaciados, una voz equivalente a instructor) para sustituir el andamiaje social que le falta a un MOOC y que sí tiene un aula.

Recomendación de stack de renderizado y entrada

Opción	Rol	Tamaño de paquete (aprox., según docs oficiales)	Licencia	Accesibilidad	Elección para Math Challenge
KaTeX	Renderizador primario para tipografía de problemas/respuestas	Autocontenido, sin dependencias en tiempo de ejecución; documentado como el más rápido de los dos motores porque renderiza de forma síncrona sin reflow de página [1][2]	MIT	Sin capa propia de habla/Braille; depende de marcado/ARIA añadido alrededor	Sí — renderizador predeterminado para todo el renderizado estándar de problemas y retroalimentación
MathJax (v4, salida CHTML/SVG)	Renderizador de respaldo cuando el modo de accesibilidad está activo, o para contenido que necesita salida MathML/Braille	Más grande y lento en el primer renderizado que KaTeX según su propio marco de comparación [2][3]; modular, cargable por partes	Apache-2.0 (mathjax.org declara código abierto, mantenido sin fines de lucro) [3]	Extensiones Explorer + Speech: texto de habla generado en vivo, Braille Nemeth/Euro, validado en 13 combinaciones navegador/SO/lector de pantalla [6]	Sí — cargar de forma perezosa detrás de un interruptor de “matemáticas accesibles”, no por defecto
MathML Core (marcado nativo del navegador)	Objetivo de marcado semántico subyacente, formato de salida de ambos motores	N/A (nativo del navegador, sin biblioteca)	Especificación W3C, implementada por navegadores	Baseline Widely Available desde enero de 2023 (Chrome, Firefox, Safari, Edge) para renderizado; el habla no es automática [4]	Usar como el objetivo de salida donde sea posible (vía el modo MathML de MathJax) para que la tecnología asistiva tenga un árbol semántico real al cual engancharse
MathLive	Entrada matemática: LaTeX tecleado + teclado virtual, escritorio y táctil	Web component con licencia MIT; 800+ comandos LaTeX integrados; exporta LaTeX/MathML/AsciiMath/Typst/MathJSON [5][7]	MIT	Etiquetas ARIA auto-generadas, matemática-a-habla integrada [7]	Sí — widget de entrada predeterminado para escritorio, tableta sin lápiz, y cualquier ruta de entrada tecleada
SDK MyScript Math	Entrada por escritura a mano para tabletas equipadas con stylus	SDK comercial + API REST (developer.myscript.com); tamaño no publicado en la documentación consultada — verificar antes de comprometerse	Comercial, por integración	No es una función distinta; la precisión de reconocimiento, no la salida para lector de pantalla, es el foco del producto	Condicional — solo si se prioriza lápiz/tableta; añade una dependencia de pago, sujeta a decisión del dueño
Escritura a mano nativa del SO (Scribble / Windows Ink)	Respaldo de escritura a mano sin añadir un SDK	Sin peso añadido (a nivel de SO)	N/A (función de plataforma)	Hereda la accesibilidad del SO, no específica de matemáticas	Usar solo como respaldo económico si se rechaza MyScript; esperar un análisis más débil de fracciones/exponentes/matrices

Implicaciones de diseño para Math Challenge

1. Envía KaTeX como el renderizador predeterminado para toda pantalla ADULTO/UNIVERSIDAD/EXPERTO — enunciados de problemas, campos de respuesta, pasos de solución trabajada— ya que es más rápido y sin reflow, lo cual importa cuando se renderizan muchas expresiones por pantalla (pasos de demostración, subpartes) [2].
2. Carga MathJax solo detrás de un ajuste explícito de “Matemáticas accesibles,” no de forma global — su accesibilidad Explorer/Speech/Braille es materialmente más fuerte que la de KaTeX, pero su peso extra no vale la pena pagarlo por defecto [2][3][6].
3. Emite MathML como el formato semántico de respaldo dondequiera que la ruta de accesibilidad esté activa — la única representación en la que ambos motores y los lectores de pantalla se estandarizan, Baseline desde 2023 [4].
4. Usa MathLive como el único widget de entrada en escritorio y tableta sin lápiz, teclado-primero con un teclado matemático virtual anclado, ya que viene con etiquetas ARIA y matemática-a-habla [5][7].
5. En tableta + lápiz (iPad/Surface), ofrece la escritura a mano como un modo de entrada alterno, no el único — sujeta el costo del SDK comercial de MyScript frente al respaldo nativo del SO (Scribble/Ink) a una decisión explícita del dueño; MyScript analiza notación estructurada (fracciones, exponentes, matrices) materialmente mejor [7].
6. En teléfono, usa por defecto solo entrada por teclado virtual; trata la escritura a mano como fuera de alcance para v1 — una pantalla de teléfono es demasiado pequeña para que un flujo de trabajo con stylus se sienta serio, y el teclado de MathLive ya es mobile-first [5].
7. Adopta un tema primero-oscuro para ADULTO/EXPERTO, distinto de la tematización brillante usada en franjas más jóvenes, reflejando herramientas técnicas de sesión larga (IDEs, Jupyter) en lugar de edtech de consumidor [§5].
8. Aumenta la densidad de información en relación con las franjas infantil/adolescente: múltiples paneles visibles (problema, área de borrador/trabajo, historial de intentos) en lugar de una sola tarjeta sobredimensionada de foco único, coincidiendo con el patrón de distribución de Jupyter/Desmos/GeoGebra [10].
9. Da a cada problema de la franja adulta una razón de “por qué este problema” de una línea, descartable (por ejemplo, “refuerza la regla de sustitución que te falló dos veces”) — respondiendo directamente a la suposición de “necesidad de saber” de Knowles, la palanca andragógica más ligada al compromiso [8].
10. Expone control explícito del aprendiz sobre la ruta: saltar/reordenar/ir directamente a un tema visible en la franja adulta/experto, honrando la suposición de autoconcepto de que los adultos se desconectan cuando el sistema controla la secuencia [8].
11. Construye estructura que sustituya el andamiaje social que les falta a los MOOCs: rachas/progresión visibles ligadas al dominio de habilidades (no al conteo de sesiones), y avisos periódicos de repaso como una “voz de instructor” sustituta, ya que la falta de apoyo interpersonal es la causa dominante de abandono en la literatura [9].
12. Diseña para segmentación de usuario estilo MOOC desde el día uno: espera que las personas “auditor” y “muestreador” (exploran sin completar) sean comunes, así que la UI debe mostrar valor en una sola visita en lugar de asumir uso de varias semanas [9].
13. Mantén la salida de KaTeX/MathML seleccionable y copiable como LaTeX/MathML plano, coincidiendo con la expectativa de herramienta profesional de que una expresión renderizada es un objeto reutilizable, no una imagen bloqueada.
14. Reserva el color para el estado, no la decoración, en el tema adulto/experto (error/activo/éxito apagados en baja saturación) — el sesgo opuesto al uso decorativo del color de un tema infantil — para mantener el registro serio en lugar de gamificado.

Preguntas abiertas para el dueño del proyecto

1. ¿Debería licenciarse el SDK comercial de MyScript para la ruta de tableta+lápiz, o Math Challenge debería enviar solo escritura a mano nativa del SO (Scribble/Ink), aceptando un análisis más débil de la notación estructurada, al menos para v1?
2. ¿Debería el interruptor de “Matemáticas accesibles” (KaTeX → MathJax/MathML/habla) ser un ajuste de usuario persistente, o auto-detectado desde señales activas de lector de pantalla/tecnología asistiva en el navegador?
3. ¿Cuánto control visible del aprendiz (saltar/reordenar/ir directamente) es apropiado antes de que socave la propia lógica de bloqueo por dominio del producto usada en otras franjas de grado — ADULTO/EXPERTO obtiene explícitamente un contrato de progresión diferente al de las franjas más jóvenes?
4. ¿Es aceptable un predeterminado primero-oscuro (no solo modo-oscuro-disponible) para el tema adulto/experto aunque el resto de Math Challenge sea presumiblemente primero-claro, y esto requiere infraestructura de tematización separada más allá de un simple interruptor de modo oscuro?
5. ¿Cuál es el valor mínimo de la primera sesión que la experiencia adulto/experto debe entregar, dado que la investigación de MOOCs sugiere que muchos usuarios adultos muestrearán una vez y no regresarán — hay una “victoria de sesión única” diseñada para esta franja?