Ensin on sanottava suoraan: pitkä ja hidas väittely siitä, pitäisikö selaimien renderöidä matematiikka natiivisti, on ratkaistu. Firefox on renderöinyt MathML:ää 2000-luvun alusta lähtien; WebKit toimitti käyttökelpoisen toteutuksen Safariin vuonna 2013; viimeinen jarruttelija, Chromium, sai viimein MathML Core -tuen versioon 109 tammikuussa 2023. Tuo yksi julkaisu avasi alustan: vuoden 2026 puoliväliin mennessä kaikki merkittävät selainmoottorit jokaisella pöytätietokoneella ja lähes jokaisella puhelimella puhuvat MathML:ää ensimmäisen luokan kielenä. Turvamekanismi, johon web standardoitui lähes kahdeksantoista vuodeksi — renderöi matematiikka kuvana, jossa on alt-teksti, johon ruudunlukuohjelman käyttäjän on luotettava — ei ole enää vastuullinen oletusvalinta.

Se, mikä muuttui vuonna 2023, on suppeampaa kuin otsikko antaa ymmärtää. Chromium ei toteuttanut koko MathML 3:a; se toteutti MathML Core -osajoukkon, joka on tarkoituksellisesti rajattu elementteihin, jotka selainmoottorit voivat renderöidä luotettavasti ja joissa avustavat teknologiat voivat navigoida. Perusmatematiikan asettelu (pitkä yhteenlasku, muistinumerot, päällekkäinen yhteenlasku) ei sisälly Coreen. Pitkän yhtälön rivinvaihto on Coressa, mutta heuristiikat ovat konservatiivisia. Jotkut edistyneet venytettävät operaattorit renderöityvät edelleen epäjohdonmukaisesti eri moottoreissa. Mutta rakenne — murtoluvut, juuret, ala- ja yläindeksit, matriisit, integraalit, summat, operaattorisanakirja — on nyt jokaisessa moottorissa, jolla on merkitystä.

Saavutettavuusvaikutus on suora. Sivu, joka lähettää MathML:ää suoraan DOM:iin, toimittaa semanttisen lausekkeen, jonka ruudunlukuohjelma voi lausua, navigoida ja toistaa eri tarkkuustasolla. Sivu, joka lähettää kuvan alt-tekstin kera, toimittaa yhden lauseen, johon ruudunlukuohjelman käyttäjä ei pysty porautumaan, jota ei voi toistaa ja jota ei voi kopioida laskimeen. Kymmenen vuotta ajan kompromissi oli todellinen, koska Chromium ei pystynyt renderöimään MathML:ää ja kuviin turvautuminen tarkoitti vähemmän rikkinäisiä sivuja. Tämä kompromissi ei enää pidä.

MathJax oli silta, joka piti matematiikan verkossa luettavana Chromium-aukon pitkän kauden ajan. Ensimmäisestä julkaisustaan vuonna 2010 lähtien MathJax otti LaTeXin tai MathML:n lähdekoodista ja tuotti tyyliteltyä HTML:ää tai SVG-tulostetta, jonka mikä tahansa selain pystyi renderöimään. Suurimman osan historiastaan se oli ensisijainen renderöintikerros matemaattiselle sisällölle verkossa — Wikipedia, arXiv, MathOverflow, Stack Exchange ja suurin osa akateemisista julkaisualustoista toimittivat MathJaxin jokaisella sivulla.

MathJaxin rooli vuonna 2026 on erilainen. Kun Chromium renderöi MathML:ää natiivisti, viimesijaisen renderöijän tehtävä on suoritettu. Mitä MathJax nyt tekee — ja tekee paremmin kuin mikään muu — on asettautua vanhentuneiden LaTeX-lähteiden eteen ja muuntaa ne puhtaaksi MathML:ksi, jonka selain renderöi suoraan. Sen v3- ja v4-julkaisut kirjoitettiin uudelleen tätä tarkoitusta varten: LaTeX-syöteanalysoija on kypsä, MathML-tuloste on standardien mukainen ja ajonaikainen toiminto voidaan konfiguroida lähettämään MathML ja astumaan sivuun, jolloin selain ottaa asettelijatyön. Kirjasto on suurempi kuin kriittisen polun sivulla haluttaisiin, mutta se on verkossa luotettavin LaTeX-MathML-muunnin.

Suurimmalla osalla verkon matemaattisesta sisällöstä on jossain ylävirrassa LaTeX-lähde. Kysymys on, missä LaTeX-MathML-muunnos tapahtuu — rakennusaikana, ajonaikaisesti vai ei koskaan. Malli, joka voittaa jokaisella saavutettavuusmittarilla, on rakennusaikainen muunnos MathML:ksi niin, että renderöity MathML lähetetään suoraan sivun HTML:ään. Malli, joka häviää jokaisella mittarilla, on yhtälön renderöinnistä tehty kuva alt-tekstin kera, joka parafrasoi yhtälön.

Matematiikan renderöinti on puoli työstä. Toinen puoli on navigaatio: pitkää yhtälöä ei voi linearoida yhdeksi puhutuksi lauseeksi niin, että lukija ei eksy. Jokaisessa merkittävässä ruudunlukuohjelmassa on nyt “matematiikkatila”, jonka avulla käyttäjä voi astua murtolukuun, kulkea osoittajan läpi, pudota alaindeksiin, hypätä takaisin päälausilemaan ja toistaa nykyisen alilausekkeen eri tarkkuudella. Toteutukset eroavat kypsyydessä, pikanäppäimissä ja ratkaisevasti siinä, minkä puheääntösääntökirjaston ne jakavat.

Lähes jokaisen nykyaikaisen matematiikkapuhe-kokemuksen taustalla verkossa on projekti, josta useimmat insinöörit eivät ole koskaan kuulleet: Speech Rule Engine eli SRE. SRE sai alkunsa Googlen ChromeVox-tiimissä 2010-luvun puolivälissä ja on nyt avoimen lähdekoodin kirjasto, jota ylläpitää ensisijaisesti Volker Sorge. Se ottaa MathML:n sisään ja lähettää rakenteisen puhutun muodon ulos — useilla kielillä, useilla tarkkuustasoilla ja useilla sääntöjoukoilla (MathSpeak, ClearSpeak, ChromeVox-classic). Se on myös moottori, joka käyttää MathJaxin omassa renderöidyssä tulostuksessaan matematiikkanavigointikäyttäytymistä, ja siihen viittaavat sekä MathCAT että useat selainpuolen saavutettavuuskokeilut.

Syy, miksi SRE on tärkeä infrastruktuurina, on se, että ilman kanonista ääntämiskirjastoa jokainen ruudunlukuohjelma keksisi oman tapansa sanoa x toiseen potenssiin plus y toiseen potenssiin yhtä kuin r toiseen potenssiin. SRE:n myötä merkittävät toteutukset lähenevät toisiaan pienessä joukossa hyväksyttyjä sääntöjoukkoja, mikä tarkoittaa, että oppikirjakirjoitustyökalussa yhtälön kirjoittava opettaja voi ennakoida karkeasti, miten NVDA:ta, JAWS:ia tai ChromeVoxia käyttävä opiskelija sen kuulee. Lähentyminen ei ole täydellistä — VoiceOver on poikkeus — mutta se on todellista ja kasvaa.

Yleinen periaate — lähetä MathML, muunna LaTeXista rakennusaikana kun mahdollista, nojaa SRE:hen puheessa — koskee kaikkia dokumenttityyppejä. Yksityiskohdat muuttuvat pinnan mukaan. Alla on konkreettiset suositukset neljälle dokumenttiluokalle, joita useimmat saavutettavuustiimit toimittavat.

Matematiikan saavutettavuus verkossa on ollut hitain merkittävistä saavutettavuuden rajoista kypsymään. Standardit olivat valmiita vuonna 1998. Ruudunlukuohjelmat olivat valmiita, perustavalla tavalla, 2000-luvun puolivälissä. Selainmoottorit odottivat vuoteen 2023 asti. Näiden kolmen kerroksen — merkinnän, renderöinnin, puheen — integraatio napsahti todella paikoilleen vuoden toisella puoliskolla, kun MathCAT korvasi MathPlayerin NVDA:ssa, kun JAWS otti käyttöön saman taustakoneen ja kun ChromeVox ja MathJax lähentyivät saman Speech Rule Enginen ympärille.

Jäljellä oleva työ on reunoilla. Perusmatematiikan merkintä ei ole MathML Coressa, ja varhaisten luokkien aritmetiikkaa opettavien alustojen on edelleen turvauduttava MathML 3 -laajennuksiin tai kuviin. VoiceOverin matematiikkanavigaatio on käyttökelpoinen, mutta vähemmän yksityiskohtainen kuin Windows-käyttäjien saama. Selainten rivinvaihto hyvin pitkissä yhtälöissä on konservatiivista, ja jotkut venytettävät operaattorit renderöityvät edelleen epätasaisesti eri moottoreissa. Nämä ovat todellisia ongelmia ja korjaamisen arvoisia. Ne eivät ole samaa ongelmaa kuin “Chromium ei pysty renderöimään matematiikkaa lainkaan” vuodesta 2013 vuoteen 2023.

Insinööritiimille, joka toimittaa vuonna 2026 uuden tuotepinnan, jossa on matemaattista sisältöä, puolustettava oletusarvo on: lähetä MathML, generoi se LaTeXista rakennusaikana kun lähde sen sallii, turvaudu MathJax v4:ään vanhoille LaTeX-lähteille, joita et pysty esikäsittelemään, ja luota ruudunlukuohjelmakokonaisuuteen — NVDA plus MathCAT, JAWS plus MathCAT, ChromeVox plus SRE, VoiceOver natiivisti — hoitamaan puhekerrosta. Pitkä tie ei ole päättynyt. Mutta ensimmäistä kertaa se johtaa jonnekin luettavaan.