AppearanceMatisaFirefox user 12498047This extension allows Isabelle math syntax on GitHub to be appropriately typeset.Screenshots from Mozilla Add-ons