Design de interface para matemática adulta a sério: renderização, entrada e o tema Adulto/Perito

Constatações

1. Tipografia matemática: KaTeX vs MathJax

A página inicial do KaTeX enquadra o seu valor na velocidade: “Extremamente rápido, mesmo em páginas com centenas de expressões”, graças ao renderização síncrona que “não precisa de reformatar a página”, ao contrário dos motores que o fazem [2]. Não tem dependências externas, renderiza de forma idêntica no lado do servidor via Node.js (pré‑render para HTML simples, custo zero de JS no cliente para conteúdo estático) e compara a sua qualidade tipográfica com o TeX de Knuth como “o padrão ouro para tipografia matemática” [2]. Licença MIT, mantido pela Khan Academy e colaboradores [1]. A sua fraqueza documentada: uma superfície de comandos LaTeX mais estreita que a do MathJax (a sua tabela de suporte lista mais de 1000 funções mas sinaliza as não suportadas em vez de degradar silenciosamente) [1], e ausência de camada de acessibilidade/voz de primeira‑parte — a acessibilidade do KaTeX costuma ser acrescentada via pós‑processamento ARIA de terceiros.

O MathJax posiciona‑se como “matemática bonita e acessível em todos os navegadores”, operado por uma organização sem fins lucrativos (501(c)(3)) apoiada pela American Mathematical Society e IEEE [3]. Suporta três modos de saída — CommonHTML/CHTML, SVG e MathML nativo — aceitando TeX, MathML e AsciiMath como entrada, com renderização em navegador e Node.js [3]. As suas extensões de acessibilidade dão suporte a qualquer afirmação “séria, profissional”: os módulos Explorer/Speech da versão 4 geram cadeias de voz por (sub)expressão através de conjuntos de regras selecionáveis pelo utilizador e atributos ARIA, funcionando independentemente de o leitor de ecrã compreender MathML, com saída Nemeth/Euro Braille — validado em 13 combinações de navegador/SO/leitor de ecrã (NVDA precisa de “Combine with Speech” para Braille correto; JAWS funciona com as predefinições) [6].

Leitura prática: KaTeX para o caminho rápido (enunciados de problemas, feedback em tempo real — a maior parte do conteúdo, na maioria das vezes); MathJax carregado seletivamente por trás de um interruptor de acessibilidade ou sempre que uma demonstração precisar da superfície LaTeX mais completa. Carregar ambos permanentemente gera peso desnecessário.

2. MathML Core e a lacuna de acessibilidade

MathML Core é o subconjunto focado em navegadores da especificação original — o subconjunto semântico nunca foi implementado nos navegadores e o subconjunto de apresentação produziu implementações iniciais inconsistentes, pelo que o Core foi definido “adaptado para funcionar perfeitamente com HTML, CSS, DOM e JavaScript”, usando convenções LaTeX e OpenType Math como referência [4]. O MDN regista‑o como “Baseline Widely Available… desde janeiro de 2023” — nativo no Chrome, Firefox, Safari, Edge [4]. Funcionalidades legadas pré‑Core podem ainda aparecer em conteúdo antigo; o Math Working Group mantém polyfills para preencher a lacuna [4].

A lacuna que importa: o suporte ao renderização nativa não diz nada sobre se um leitor de ecrã anuncia o conteúdo de forma útil. Isso é resolvido por motores explícitos de regras de fala (Explorer do MathJax, conjuntos de regras derivados do MathSpeak), não apenas pelo suporte ao MathML [3][4][6]. Uma página que entrega marcação MathML sem anotação ARIA/de fala é tecnicamente compatível com as normas e ainda assim inacessível na prática — a lacuna de qualidade mais comum em sites pesados em matemática que alegam conformidade de acessibilidade.

3. Entrada de matemática: escrita, teclados virtuais, escrita à mão

MathLive (licença MIT, arnog/mathlive, publicado como componentes web <math-field>, <math-span>, <math-div>) é a opção aberta mais completa para entrada de matemática via teclado ou toque: escrita direta em LaTeX com mais de 800 comandos incorporados, um teclado virtual de matemática pronto para dispositivos móveis mais atalhos de teclado físico, e exportação/importação bidirecional entre LaTeX, MathML, ASCIIMath, Typst e MathJSON [5][7]. A acessibilidade é de primeira‑parte, não um extra: comportamento “amigável ao leitor de ecrã” com rótulos ARIA gerados automaticamente e otimizados para fala, e saída de matemática‑para‑fala [7]. Isto faz dela a escolha mais forte para entrada baseada em teclado em computadores de secretária e tablets.

O reconhecimento de escrita à mão é arquitetonicamente separado. MyScript Math é um motor comercial, impulsionado por IA (não OCR) que converte escrita à mão em equações digitais em tempo real, resolve‑as e suporta um gesto “rasurar” para correção; é distribuído como aplicações de consumo (iOS/Android) e, mais relevante, como SDK mais APIs REST (developer.myscript.com) para integração em aplicações personalizadas [7]. Destina‑se a entrada por stylus (hardware da classe Apple Pencil), não a toque ou rato. O Scribble da Apple e o Windows Ink são camadas de escrita à mão a nível de SO com menos análise matemática específica — menor atrito (no dispositivo, sem SDK) mas mais fracos na notação estruturada (frações, expoentes, matrizes) do que um reconhecedor de matemática construído para esse fim.

4. Interfaces ao estilo de notebook e o que se lê como “profissional”

Em Jupyter, Desmos, GeoGebra e Wolfram Alpha, o vocabulário partilhado que sinaliza “ferramenta séria” em vez de “app brinquedo” inclui: estado persistente e endereçável (uma célula de notebook, um gráfico guardado, uma expressão reexecutável) em vez de um único ciclo efémero de pergunta‑resposta; interação primeiro‑teclado com atalhos visíveis e aprendíveis em vez de menus exclusivamente controlados por ponteiro; layout denso mas organizado (múltiplos painéis, sem um único botão “próximo” exagerado); e matemática tipografada — não renderizada como imagem — que pode ser selecionada, copiada e reeditada. O GeoGebra visa amplitude em “geometria, álgebra, folhas de cálculo, gráficos, estatística e cálculo num único motor” para “todos os níveis de ensino”, do K-12 até à universidade, equilibrando facilidade de uso com poder em vez de pender para um extremo ou outro [10]. Esta é a pressão de design oposta a um produto elementar gamificado: menos elementos decorativos, mais manipulação direta do objeto matemático.

5. Modo escuro, layout denso e ergonomia para sessões longas

Ferramentas técnicas para sessões prolongadas (IDE’s, editores LaTeX, Jupyter, ambientes de computação científica) convergem para temas escuros por defeito ou com prioridade ao escuro, alta densidade de informação por ecrã (múltiplos painéis, espaço em branco mínimo comparado com apps de consumo), numerais monoespaçados ou semi‑monoespaçados para alinhamento de tabelas/matrizes, e cores de realce suaves, de baixa saturação, reservadas para estados (erro, ativo, selecionado) em vez de decoração. Esta é uma gramática visual distinta de uma UI infantil brilhante, de alto contraste e com alvos grandes — as duas não devem partilhar os tokens padrão de espaçamento/cores de uma biblioteca de componentes se a camada adulta pretender ser percebida como um registo diferente e credível, e não como uma aplicação infantil re‑estilizada.

6. Andragogia: como a motivação adulta difere

As seis pressuposições de aprendizagem adulta de Knowles: (1) auto‑conceito — os adultos requerem input e controlo sobre o seu próprio percurso de aprendizagem em vez de serem dirigidos; (2) experiência — a experiência prévia, incluindo erros anteriores, é por si mesma um recurso de aprendizagem; (3) prontidão — os adultos envolvem‑se com material que tem aplicabilidade imediata, não com material sequenciado segundo a lógica de um currículo; (4) orientação — a aprendizagem é centrada no problema, não no assunto; (5) motivação — impulsos internos (domínio, autorrealização) importam mais que os externos (notas); (6) necessidade de saber — os adultos querem o “porquê” antes do “como” [8]. Knowles suavizou mais tarde a teoria para um continuum pedagogia‑andragogia em vez de uma divisão rígida, e críticos apontam que a sua própria prática minou a afirmação de “autodireção total”, e que os princípios podem ser simplesmente boas práticas de ensino em geral [8]. A lição prática: oferecer aos utilizadores adultos controlo visível (saltar, avançar para o tópico, escolher dificuldade) e uma justificação visível “porquê deste problema” — a ausência de ambos é o modo de falha mais associado ao desengajamento.

7. Por que os adultos abandonam MOOCs

A cifra mais citada: os MOOCs de Harvard/MIT registaram uma taxa média de conclusão de 22 % em 2012 [9]. Investigação da Stanford categorizou os participantes em auditores (assistem sem avaliação), concluidores, aprendizes desengajados (abandono rápido) e amostradores (envolvimento ocasional) — uma taxonomia que se mapeia ao comportamento real dos utilizadores de uma aplicação de matemática para adultos, argumentando contra o design apenas para “concluintes” [9]. A conclusão variou drasticamente segundo a credencial pré‑existente: apenas 8 % dos participantes de nível de graduação concluíram, contra 27 % dos de nível secundário — sugerindo que adultos credenciados amostram mais e comprometem‑se menos, provavelmente devido a múltiplas exigências de tempo já validadas [9]. A explicação dominante para o abandono é a ausência de interação interpessoal e apoio, não a dificuldade do conteúdo — uma comparação citada encontrou 32 % dos estudantes a falhar ou a retirar‑se de cursos online versus 19 % nos equivalentes presenciais, atribuído a exigências elevadas de autonomia sem estrutura compensatória [9]. Para uma aplicação de matemática de uso individual sem coorte ou instrutor, este é o risco mais agudo: o produto deve fornecer estrutura (progresso visível, lembretes espaçados, voz equivalente a um instrutor) para substituir a sustentação social que um MOOC carece e que uma sala de aula oferece.

Recomendação da pilha de renderização e entrada

Opção	Função	Tamanho do pacote (aprox., por documentação oficial)	Licença	Acessibilidade	Escolha para o Math Challenge
KaTeX	Renderizador principal para a tipografia de problemas/respostas	Autónomo, sem dependências de tempo de execução; documentado como o mais rápido dos dois motores porque renderiza de forma síncrona sem reflow da página [1][2]	MIT	Sem camada de voz/Braille própria; depende de marcação/ARIA adicionada ao seu redor	Sim — renderizador predefinido para toda a renderização padrão de problemas e feedback
MathJax (v4, CHTML/SVG output)	Renderizador de recurso quando o modo de acessibilidade está ativado, ou para conteúdo que necessita de saída MathML/Braille	Maior e mais lento ao renderizar inicialmente do que o KaTeX, segundo a sua própria comparação [2][3]; modular, carregável em partes	Apache-2.0 (mathjax.org afirma ser open‑source, mantido por organização sem fins lucrativos) [3]	Extensões Explorer + Speech: texto de voz em tempo real, Braille Nemeth/Euro, validado em 13 combinações de navegador/SO/leitor de ecrã [6]	Sim — carregar de forma preguiçosa atrás de um interruptor “math acessível”, não por predefinição
MathML Core (native browser markup)	Alvo de marcação semântica subjacente, formato de saída de ambos os motores	N/D (nativo do navegador, sem biblioteca)	Especificação W3C, implementada pelos navegadores	Disponível de forma generalizada desde Jan 2023 (Chrome, Firefox, Safari, Edge) para renderização; a voz não é automática [4]	Utilizar como alvo de saída sempre que possível (via modo MathML do MathJax) para que a tecnologia assistiva tenha uma árvore semântica real para se ligar
MathLive	Entrada de matemática: LaTeX digitado + teclado virtual, desktop e toque	Componente web licenciado MIT; mais de 800 comandos LaTeX incorporados; exporta LaTeX/MathML/AsciiMath/Typst/MathJSON [5][7]	MIT	Etiquetas ARIA geradas automaticamente, conversão de matemática para voz incorporada [7]	Sim — widget de entrada predefinido para desktop, tablet sem caneta, e qualquer caminho de entrada digitada
MyScript Math SDK	Entrada manuscrita para tablets equipados com caneta	SDK comercial + API REST (developer.myscript.com); tamanho não publicado nos documentos obtidos — verificar antes de integrar	Comercial, por integração	Não é uma funcionalidade distinta; a precisão de reconhecimento, não a saída para leitores de ecrã, é o foco do produto	Condicional — apenas se a caneta/tablet for priorizada; adiciona uma dependência paga, sujeita a decisão do proprietário
OS-native handwriting (Scribble / Windows Ink)	Manuscrita de recurso sem SDK adicional	Pacote zero adicional (nível do SO)	N/D (recurso da plataforma)	Herda a acessibilidade do SO, não específica de matemática	Utilizar apenas como recurso barato se o MyScript for rejeitado; esperar análise mais fraca de frações/exponenciais/matrizes

Implicações de design para o Math Challenge

1. Implementar KaTeX como o renderizador predefinido para todos os ecrãs ADULT/UNIVERSITY/EXPERT — enunciados de problemas, campos de resposta, passos de solução trabalhada — pois é mais rápido e sem reflow, o que importa ao renderizar muitas expressões por ecrã (passos de prova, subpartes) [2].
2. Carregar MathJax apenas por trás de uma definição explícita de “Math acessível”, não globalmente — a sua acessibilidade Explorer/Speech/Braille é materialmente mais forte que a do KaTeX, mas o seu peso extra não justifica ser ativado por predefinição [2][3][6].
3. Emitir MathML como o formato semântico subjacente sempre que o caminho de acessibilidade estiver ativo — a única representação que ambos os motores e leitores de ecrã padronizam, disponível de forma generalizada desde 2023 [4].
4. Utilizar MathLive como o único widget de entrada em desktop e tablet sem caneta, com prioridade ao teclado e teclado virtual de matemática ancorado, pois já inclui etiquetas ARIA e conversão de matemática para voz [5][7].
5. Em tablet + caneta (iPad/Surface), oferecer manuscrita como modo de entrada alternativo, não o único — ponderar o custo do SDK comercial da MyScript face ao recurso nativo do SO (Scribble/Ink) por trás de uma decisão explícita do proprietário; a MyScript analisa notação estruturada (frações, expoentes, matrizes) de forma materialmente melhor [7].
6. Em telemóvel, predefinir apenas a entrada por teclado virtual; considerar a manuscrita fora do âmbito da v1 — o ecrã de um telemóvel é demasiado pequeno para um fluxo de trabalho com caneta ser sério, e o teclado do MathLive já é mobile‑first [5].
7. Adotar um tema escuro‑primeiro para ADULT/EXPERT, distinto do tema claro usado nas faixas mais jovens, espelhando ferramentas técnicas de sessões longas (IDEs, Jupyter) em vez de edtech de consumo [§5].
8. Aumentar a densidade de informação em relação às faixas infantil/adolecente: múltiplos painéis visíveis (problema, área de rascunho/trabalho, histórico de tentativas) em vez de um único cartão superdimensionado, correspondendo ao padrão de layout do Jupyter/Desmos/GeoGebra [10].
9. Fornecer a cada problema da faixa adulta uma justificação de uma linha, descartável, “porquê deste problema” (ex.: “reforça a regra de substituição que falhou duas vezes”) — respondendo diretamente à suposição de Knowles de “necessidade de saber”, a alavanca andragógica mais ligada ao envolvimento [8].
10. Expor controlo explícito do aprendiz sobre o percurso: saltar/reordenar/ir‑para‑tópico visível na faixa adulta/experta, honrando a suposição de autoconceito de que os adultos desengajam quando o sistema controla a sequência [8].
11. Construir estrutura que substitua a scaffolding social que os MOOCs carecem: rachas/progresso visíveis ligados à maestria de competências (não ao número de sessões), e prompts de recapitulação periódicos como uma “voz de instrutor” substituta, pois a falta de apoio interpessoal é a causa dominante de abandono na literatura [9].
12. Projetar para segmentação de utilizadores ao estilo MOOC desde o primeiro dia: esperar que as personas “auditor” e “amostra” (navegam sem concluir) sejam comuns, pelo que a UI deve evidenciar valor numa única visita em vez de assumir uso ao longo de várias semanas [9].
13. Manter a saída KaTeX/MathML selecionável e copiável como LaTeX/MathML puro, correspondendo à expectativa de ferramentas profissionais de que uma expressão renderizada seja um objeto reutilizável, não uma imagem bloqueada.
14. Reservar a cor para estado, não decoração, no tema adulto/experto (erro/ativo/sucesso atenuados em baixa saturação) — o viés oposto ao uso decorativo de cor em temas infantis — para manter o registo sério em vez de gamificado.

Questões abertas para o proprietário do projeto

1. Deve o SDK comercial da MyScript ser licenciado para o caminho tablet+caneta, ou o Math Challenge deve disponibilizar apenas a manuscrita nativa do SO (Scribble/Ink), aceitando uma análise mais fraca de notação estruturada, pelo menos para a v1?
2. O interruptor “Math acessível” (KaTeX → MathJax/MathML/voz) deve ser uma definição persistente do utilizador, ou detetado automaticamente a partir de sinais ativos de leitor de ecrã/tecnologia assistiva no navegador?
3. Qual a quantidade adequada de controlo visível do aprendiz (saltar/reordenar/ir‑para) antes de comprometer a lógica de bloqueio de maestria da aplicação usada em outras faixas etárias — ADULT/EXPERT tem um contrato de progressão explicitamente diferente das faixas mais jovens?
4. É aceitável um predefinido escuro‑primeiro (não apenas modo escuro disponível) para o tema adulto/experto, embora o resto do Math Challenge seja presumivelmente claro‑primeiro, e isso requer infraestrutura de temas separada além de um simples interruptor de modo escuro?
5. Qual é o valor mínimo da primeira sessão que a experiência adulto/experto deve proporcionar, dado que a pesquisa MOOC sugere que muitos utilizadores adultos experimentarão apenas uma vez e não voltarão — existe um “ganho de sessão única” desenhado para esta faixa?