Era solo per esemplificare e per rispondere ad alifasi: non ho mai usato prima il segno di spunta ma, se dovessi, userei MathJax così tutti lo vedono uguale.
I font usati dal browser sono codificati o direttamente nel codice HTML oppure nel foglio di stile con l'attributo font-family.
Normalmente segue un elenco con logica FallBack: il browser usa la prima family che trova nel S.O.; generalmente l'ultima dell'elenco è una categoria generica (serif, sans-serif, monospace) a cui viene assegnato il tipo di default definito nel browser:
- in Chrome e Opera in "Impostazioni+Aspetto+Personalizza caratteri" cui si arriva direttamente con "chrome://settings/fonts" o "opera://settings/fonts"
- in Firefox in "Opzioni+Lingua e aspetto+Caratteri e colori+Avanzate"
In Chrome si vede l'elenco delle font-family definite per ogni elemento con i DevTools (Strumenti per sviluppatori) nella scheda Elements che si apre quando fai clic_destro+Ispeziona sul testo oppure ctrl+shift+I oppure $f_{12}$.
Per vedere il tipo effettivamente usato dal browser, uso l'estensione Font Finder disponibile in Chrome, in Opera, in Firefox.