Diseño de interfaz para matemáticas serias de adultos: renderizado, entrada y el tema Adult/Expert

Resultados

1. Composición tipográfica de matemáticas: KaTeX vs MathJax

La página principal de KaTeX presenta su valor en torno a la velocidad: «Lightning‑fast, even on pages with hundreds of expressions», con un renderizado sincrónico que «doesn’t need to reflow the page», a diferencia de los motores que sí lo hacen [2]. No tiene dependencias externas, se renderiza idénticamente del lado del servidor mediante Node.js (pre‑render a HTML plano, coste cero de JS cliente para contenido estático) y compara su calidad tipográfica con el TeX de Knuth como «the gold standard for math typesetting» [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 enumera 1.000+ funciones pero marca las no admitidas en lugar de degradar silenciosamente) [1], y carece de una capa de accesibilidad/vocería propia: la accesibilidad de KaTeX suele añadirse mediante post‑procesado ARIA de terceros.

MathJax se presenta como «beautiful and accessible math in all browsers», gestionado por una organización sin ánimo 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, tanto en el navegador como en Node.js [3]. Sus extensiones de accesibilidad respaldan cualquier afirmación de «serious, professional»: los módulos Explorer/Speech de la versión 4 generan cadenas de voz por (sub)expresión mediante conjuntos de reglas seleccionables por el usuario y atributos ARIA, funcionando independientemente de que el lector de pantalla entienda MathML, con salida en Braille Nemeth/Euro — validado en 13 combinaciones de navegador/SO/lector de pantalla (NVDA necesita «Combine with Speech» para Braille correcto; JAWS funciona con la configuración por defecto) [6].

Lectura práctica: KaTeX para la vía rápida (enunciados de problemas, retroalimentación en tiempo real — la mayor parte del contenido, la mayor parte del tiempo); MathJax cargado de forma selectiva detrás de un conmutador de accesibilidad o donde una demostración requiera la superficie LaTeX más completa. Cargar ambos de forma permanente supone una sobrecarga innecesaria.

2. Núcleo MathML y la brecha de accesibilidad

MathML Core es el subconjunto centrado en los navegadores 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, por lo que Core se definió como «tailored to work seamlessly with HTML, CSS, DOM, and JavaScript» usando como referencia convenciones de LaTeX y OpenType Math [4]. MDN lo registra como «Baseline Widely Available… since January 2023» — nativo en Chrome, Firefox, Safari y Edge [4]. Las características heredadas anteriores a Core pueden seguir apareciendo en contenido antiguo; el Math Working Group mantiene polyfills para cubrir la brecha [4].

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

3. Entrada de matemáticas: escritura, teclados virtuales, reconocimiento manuscrito

MathLive (licencia MIT, arnog/mathlive, publicado como componentes web <math-field>, <math-span>, <math-div>) es la opción abierta más completa para la introducción de matemáticas mediante teclado o tacto: escritura directa de LaTeX con 800+ comandos incorporados, un teclado virtual de matemáticas preparado para dispositivos móviles más atajos de teclado físico, y exportación/importación bidireccional entre LaTeX, MathML, ASCIIMath, Typst y MathJSON [5][7]. La accesibilidad es propia, no un complemento: comportamiento «screen‑reader friendly» con etiquetas ARIA autogeneradas y optimizadas para voz y salida de matemáticas a voz [7]. Esto lo convierte en la opción única más fuerte para la entrada basada en teclado en ordenadores de escritorio y tabletas.

El reconocimiento de escritura a mano es arquitectónicamente independiente. MyScript Math es un motor comercial impulsado por IA (no OCR) que convierte la escritura a mano en datos digitales: interpreta ecuaciones manuscritas en tiempo real, las resuelve y admite un gesto de «scratch‑out» para corrección; se distribuye como aplicaciones de consumo (iOS/Android) y, más relevante, como SDK y API REST (developer.myscript.com) para incrustar en aplicaciones personalizadas [7]. Está orientado a la entrada mediante stylus (hardware de tipo Apple Pencil), no a toque o ratón. Scribble de Apple y Windows Ink son capas de escritura a mano a nivel del sistema operativo con un análisis matemático menos específico del dominio — menor fricción (en el dispositivo, sin SDK) pero más débiles en notación estructurada (fracciones, exponentes, matrices) que un reconocedor de matemáticas diseñado específicamente.

4. Interfaces tipo cuaderno y lo que se percibe como «professional»

En Jupyter, Desmos, GeoGebra y Wolfram Alpha, el vocabulario compartido que indica «serious tool» en lugar de «toy app» incluye: estado persistente y direccionable (una celda de cuaderno, un gráfico guardado, una expresión re‑ejecutable) en vez de un único bucle efímero de pregunta‑respuesta; interacción prioritaria de teclado con atajos visibles y aprendibles en lugar de menús exclusivamente controlados por el puntero; diseño de información denso pero organizado (múltiples paneles, sin un único botón «next» sobredimensionado); y matemáticas tipografiadas — no renderizadas como imágenes — que pueden seleccionarse, copiarse y re‑editarse. GeoGebra apunta a la amplitud en «geometry, algebra, spreadsheets, graphing, statistics and calculus in one engine» para «all levels of education», desde K-12 hasta la universidad, equilibrando facilidad de uso con potencia en lugar de inclinarse a un extremo u otro [10]. Esta es la presión de diseño opuesta a la de un producto elemental gamificado: menos elementos decorativos, más manipulación directa del objeto matemático.

5. Modo oscuro, diseño denso y ergonomía de sesiones largas

Las herramientas técnicas de sesiones largas (IDE, editores LaTeX, Jupyter, entornos de cálculo científico) convergen en temáticas oscuro‑por‑defecto o con prioridad al modo oscuro, alta densidad de información por pantalla (múltiples paneles, espacio en blanco mínimo comparado con aplicaciones de consumo), numerales monoespaciados o semi‑monoespaciados para la alineación de tablas/matrices, y colores de acento apagados y de baja saturación reservados para estados (error, activo, seleccionado) en lugar de decoración. Esta es una gramática visual distinta de una interfaz infantil luminosa, de alto contraste y con objetivos táctiles grandes; ambos no deben compartir los tokens de espaciado y color predeterminados de una biblioteca de componentes si la versión para adultos ha de leerse como un registro diferente y creíble, y no como una aplicación infantil re‑diseñada.

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

Las seis suposiciones del aprendizaje de adultos de Knowles: (1) self‑concept — los adultos requieren participación y control sobre su propio itinerario de aprendizaje en lugar de ser dirigidos; (2) experience — la experiencia previa, incluidos los errores anteriores, constituye un recurso de aprendizaje; (3) readiness — los adultos se involucran con material de aplicabilidad inmediata, no con material secuenciado según la lógica del currículo; (4) orientation — el aprendizaje está centrado en problemas, no en materias; (5) motivation — los impulsores internos (maestría, autorrealización) pesan más que los externos (calificaciones); (6) need to know — los adultos quieren el «why» antes del «how» [8]. Knowles suavizó posteriormente la teoría hacia un continuo pedagogía‑andragogía en lugar de una división rígida, y los críticos señalan que su propia práctica socavó la afirmación de «full self‑direction», y que los principios pueden ser simplemente buenas prácticas docentes en general [8]. La conclusión práctica: ofrecer a los usuarios adultos un control visible (omitir, saltar al tema, elegir dificultad) y una justificación visible de «por qué este problema» — la ausencia de ambos es el modo de fallo más asociado al desinterés.

7. Por qué los adultos abandonan los MOOCs

El dato más citado: los MOOCs de Harvard/MIT promediaron un 22 % de finalización en 2012 [9]. Una investigación de Stanford clasificó a los participantes en auditores (visualizan sin evaluación), completadores, aprendices desenganchados (abandono rápido) y muestreadores (participación ocasional) — una taxonomía que se corresponde con el comportamiento real de los usuarios de una aplicación matemática para adultos, y que argumenta en contra de diseñar solo para los «completers» [9]. La finalización varió marcadamente según la credencial previa: solo un 8 % entre los participantes de nivel universitario completó, frente a un 27 % entre los de nivel secundaria — lo que sugiere que los adultos con credencial tienden a muestrearse más y comprometerse menos, probablemente por disponer de más usos competidores y ya validados de su tiempo [9]. La explicación dominante del abandono es la ausencia de interacción interpersonal y apoyo, no la dificultad del contenido — una comparación citada encontró un 32 % de estudiantes que suspendieron o se retiraron de cursos en línea frente a un 19 % en equivalentes presenciales, atribuido a altas exigencias de autonomía sin una estructura compensatoria [9]. Para una aplicación matemática de uso individual sin cohorte ni instructor, este es el riesgo más agudo: el producto debe proporcionar estructura (progresión visible, recordatorios espaciados, una voz equivalente a la de un instructor) para sustituir el andamiaje social que falta en un MOOC y que sí está presente en un aula.

Rendering & input stack recommendation

Opción	Función	Tamaño del paquete (aprox., según docs oficiales)	Licencia	Accesibilidad	Selección para Math Challenge
KaTeX	Motor de renderizado principal para la composición de problemas y 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 reflujo de página [1][2]	MIT	No dispone de capa propia de voz o Braille; depende del marcado/ARIA añadido a su alrededor	Sí — renderizador predeterminado para la representación estándar de problemas y retroalimentación
MathJax (v4, CHTML/SVG output)	Motor de renderizado de reserva cuando el modo de accesibilidad está activado, o para contenido que necesita salida MathML/Braille	Más grande y más lento en la primera representación que KaTeX según su propio marco comparativo [2][3]; modular, cargable por partes	Apache-2.0 (mathjax.org states open-source, non-profit-maintained) [3]	Extensiones Explorer + Speech: texto de voz en tiempo real, Braille Nemeth/Euro, validado en 13 combinaciones de navegador/SO/lector de pantalla [6]	Sí — cargar de forma perezosa tras un conmutador «math accesible», no por defecto
MathML Core (native browser markup)	Objetivo de marcado semántico subyacente, formato de salida de ambos motores	N/D (nativo del navegador, sin biblioteca)	Especificación W3C, implementada por el navegador	Disponible de forma general desde enero de 2023 (Chrome, Firefox, Safari, Edge) para renderizado; la voz no es automática [4]	Utilizar como objetivo de salida siempre que sea posible (mediante el modo MathML de MathJax) para que la tecnología de asistencia disponga de un árbol semántico real al que conectarse
MathLive	Entrada de matemáticas: LaTeX escrito + teclado virtual, escritorio y táctil	Componente web bajo licencia MIT; más de 800 comandos LaTeX incorporados; exporta LaTeX/MathML/AsciiMath/Typst/MathJSON [5][7]	MIT	Etiquetas ARIA generadas automáticamente, conversión de matemáticas a voz integrada [7]	Sí — widget de entrada predeterminado para escritorio, tablet sin lápiz y cualquier vía de entrada escrita
MyScript Math SDK	Entrada manuscrita para tabletas con lápiz óptico	SDK comercial + API REST (developer.myscript.com); el tamaño no se publica en la documentación obtenida — verificar antes de integrar	Commercial, per-integration	No es una característica distintiva; la precisión del reconocimiento, no la salida para lectores de pantalla, es el foco del producto	Condicional — solo si se prioriza el uso de lápiz/tableta; añade una dependencia de pago, se controla mediante decisión del propietario
OS-native handwriting (Scribble / Windows Ink)	Entrada manuscrita de reserva sin SDK adicional	Sin paquete añadido (a nivel del SO)	N/D (característica de la plataforma)	Hereda la accesibilidad del SO, no específica de matemáticas	Utilizar solo como alternativa económica si se rechaza MyScript; se espera un análisis más limitado de fracciones, exponentes y matrices

Design implications for Math Challenge

1. Desplegar KaTeX como motor de renderizado predeterminado para cada pantalla ADULT/UNIVERSITY/EXPERT — enunciados de problemas, campos de respuesta, pasos de solución trabajada — ya que es más rápido y sin reflujo, lo que importa al renderizar muchas expresiones por pantalla (pasos de demostración, subpartes) [2].
2. Cargar MathJax solo tras un ajuste explícito «Math accesible», no de forma global — su accesibilidad Explorer/Speech/Braille es sustancialmente superior a la de KaTeX, pero su peso adicional no merece activarse por defecto [2][3][6].
3. Emitir MathML como formato semántico subyacente siempre que la vía de accesibilidad esté activa — la única representación que ambos motores y lectores de pantalla estandarizan, disponible de forma general desde 2023 [4].
4. Utilizar MathLive como único widget de entrada en escritorio y tablet sin lápiz, con prioridad al teclado y un teclado virtual de matemáticas acoplado, ya que ya incluye etiquetas ARIA y conversión de matemáticas a voz [5][7].
5. En tablet + lápiz (iPad/Surface), ofrecer la escritura a mano como modo de entrada alternativo, no como único — sopesar el coste del SDK comercial de MyScript frente a la alternativa nativa del SO (Scribble/Ink) bajo una decisión explícita del propietario; MyScript analiza notación estructurada (fracciones, exponentes, matrices) de forma notablemente mejor [7].
6. En móvil, predeterminar la entrada solo mediante teclado virtual; considerar la escritura a mano fuera del alcance de la v1 — la pantalla del móvil es demasiado pequeña para que un flujo con lápiz resulte serio, y el teclado de MathLive ya está pensado para dispositivos móviles [5].
7. Adoptar un tema con prioridad a modo oscuro para ADULT/EXPERT, distinto del esquema luminoso usado en los grupos más jóvenes, imitando herramientas técnicas de sesiones largas (IDE, Jupyter) en lugar de edtech de consumo [§5].
8. Incrementar la densidad de información respecto a los grupos infantil/adolescente: múltiples paneles visibles (problema, zona de borrador/trabajo, historial de intentos) en lugar de una única tarjeta sobredimensionada de foco único, siguiendo el patrón de diseño de Jupyter/Desmos/GeoGebra [10].
9. Proporcionar a cada problema de la vía adulta una justificación de una línea, descartable, del tipo «por qué este problema» (p. ej., «refuerza la regla de sustitución que fallaste dos veces») — respondiendo directamente a la suposición de Knowles de «necesidad de saber», el palanca andragógica más vinculada al compromiso [8].
10. Exponer control explícito del alumno sobre la ruta: opciones visibles de omitir/reordenar/saltar a tema en la banda adulta/experta, respetando la suposición de autoconcepto de que los adultos se desconectan cuando el sistema controla la secuenciación [8].
11. Construir una estructura que sustituya el andamiaje social que carecen los MOOCs: rachas/progresión visibles vinculadas al dominio de la habilidad (no al número de sesiones), y avisos periódicos de recapitulación como sustituto de una «voz de instructor», ya que la falta de apoyo interpersonal es la causa principal de abandono según la literatura [9].
12. Diseñar la segmentación de usuarios al estilo MOOC desde el primer día: anticipar que las personas «auditor» y «sampler» (navegan sin completar) serán habituales, por lo que la IU debe mostrar valor en una única visita en lugar de suponer un uso de varias semanas [9].
13. Mantener la salida KaTeX/MathML seleccionable y copiable como LaTeX/MathML plano, cumpliendo la expectativa de herramientas profesionales de que una expresión renderizada sea un objeto reutilizable, no una imagen bloqueada.
14. Reservar el color para indicar estado, no decoración, en el tema adulto/experto (errores/activación/éxito atenuados con baja saturación) — el sesgo opuesto al uso decorativo del color en un tema infantil — para mantener un registro serio en lugar de gamificado.

Open questions for the project owner

1. ¿Debería licenciarse el SDK comercial de MyScript para la vía tablet+lápiz, o Math Challenge debería ofrecer solo la escritura a mano nativa del SO (Scribble/Ink), aceptando un análisis más limitado de la notación estructurada, al menos para la v1?
2. ¿Debería el conmutador «Math accesible» (KaTeX → MathJax/MathML/voz) ser una configuración de usuario persistente, o detectarse automáticamente a partir de señales activas del lector de pantalla/tecnología de asistencia en el navegador?
3. ¿Cuánta capacidad de control visible del alumno (omitir/reordenar/saltar) es adecuada antes de que socave la lógica de bloqueo por dominio que la aplicación emplea en otras bandas de nivel — obtiene ADULT/EXPERT un contrato de progresión explícitamente diferente de las bandas más jóvenes?
4. ¿Es aceptable un valor predeterminado con prioridad a modo oscuro (no solo disponible en modo oscuro) para el tema adulto/experto aunque el resto de Math Challenge sea presumiblemente luminoso, y eso requiere una infraestructura de temas separada más allá de un simple conmutador de modo oscuro?
5. ¿Cuál es el valor mínimo que la experiencia adulto/experto debe ofrecer en la primera sesión, considerando la investigación en MOOCs que sugiere que muchos usuarios adultos probarán una sola vez y no volverán — existe un «éxito de sesión única» diseñado para esta banda?