MediaWiki:MathJax.js

From ProofWiki
Jump to navigation Jump to search

Note: After publishing, you may have to bypass your browser's cache to see the changes.

  • Firefox / Safari: Hold Shift while clicking Reload, or press either Ctrl-F5 or Ctrl-R (⌘-R on a Mac)
  • Google Chrome: Press Ctrl-Shift-R (⌘-Shift-R on a Mac)
  • Internet Explorer / Edge: Hold Ctrl while clicking Refresh, or press Ctrl-F5
  • Opera: Press Ctrl-F5.
MathJax.Ajax.config.path["Contrib"] = "/MathJaxExtensions/legacy";

MathJax.Hub.Config({
    extensions: ["tex2jax.js"],
    jax: ["input/TeX", "output/HTML-CSS"],
    tex2jax: {
        inlineMath: [ ['$','$'], ["\\(","\\)"] ],
        displayMath: [ ['$$','$$'], ["\\[","\\]"] ],
        processEscapes: false,
        element: "content",
        ignoreClass: "(tex2jax_ignore|mw-search-results|searchresults|mw-code)",
        skipTags: ["script","noscript","style","textarea","code", "pre"]
    },
    TeX: {
      extensions: [ "AMSmath.js", "AMSsymbols.js", "[Contrib]/xyjax/xypic.js" ],
      Macros: {
        /* Wikipedia compatibility: these macros are used on Wikipedia */
        empty: '\\varnothing',    /* ProofWiki preference for this symbol */
        P: '\\unicode{xb6}',
        Alpha: '\\unicode{x391}',
        Beta: '\\unicode{x392}',
        Epsilon: '\\unicode{x395}',
        Zeta: '\\unicode{x396}',
        Eta: '\\unicode{x397}',
        Iota: '\\unicode{x399}',
        Kappa: '\\unicode{x39a}',
        Mu: '\\unicode{x39c}',
        Nu: '\\unicode{x39d}',
        Pi: '\\unicode{x3a0}',
        Omicron: '\\unicode{x39f}',
        Rho: '\\unicode{x3a1}',
        Sigma: '\\unicode{x3a3}',
        Tau: '\\unicode{x3a4}',
        Chi: '\\unicode{x3a7}',
        bsalpha: '\\boldsymbol \\alpha',
        bsbeta: '\\boldsymbol \\beta',
        bsgamma: '\\boldsymbol \\gamma',
        bsdelta: '\\boldsymbol \\delta',
        bsepsilon: '\\boldsymbol \\epsilon',
        bszeta: '\\boldsymbol \\zeta',
        bseta: '\\boldsymbol \\eta',
        bstheta: '\\boldsymbol \\theta',
        bsiota: '\\boldsymbol \\iota',
        bskappa: '\\boldsymbol \\kappa',
        bslambda: '\\boldsymbol \\lambda',
        bsmu: '\\boldsymbol \\mu',
        bsnu: '\\boldsymbol \\nu',
        bsxi: '\\boldsymbol \\xi',
        bsomicron: '\\boldsymbol \\omicron',
        bspi: '\\boldsymbol \\pi',
        bsrho: '\\boldsymbol \\rho',
        bssigma: '\\boldsymbol \\sigma',
        bstau: '\\boldsymbol \\tau',
        bsupsilon: '\\boldsymbol \\upsilon',
        bsphi: '\\boldsymbol \\phi',
        bschi: '\\boldsymbol \\chi',
        bspsi: '\\boldsymbol \\psi',
        bsomega: '\\boldsymbol \\omega',
        lambdabar: '\\unicode{x19B}',
        C: '\\mathbb C',        /* the complex numbers */
        N: '\\mathbb N',        /* the natural numbers */
        Q: '\\mathbb Q',        /* the rational numbers */
        R: '\\mathbb R',        /* the real numbers */
        Z: '\\mathbb Z',        /* the integer numbers */
        O: '\\varnothing',      /* the empty set */

        /* some extra macros for ease of use; these are non-standard! */
        T: '\\mathrm T',        /* true */
        F: '\\mathrm F',        /* false */
        GF: '\\mathbb F',       /* Galois field */
        H: '\\mathbb H',        /* ring of Hamiltonians */
        bszero: '\\boldsymbol 0', /* vector of zeros */
        bsone: '\\boldsymbol 1',  /* vector of ones */
        bst: '\\boldsymbol t',    /* a vector 't' */
        bsv: '\\boldsymbol v',    /* a vector 'v' */
        bsw: '\\boldsymbol w',    /* a vector 'w' */
        bsx: '\\boldsymbol x',    /* a vector 'x' */
        bsy: '\\boldsymbol y',    /* a vector 'y' */
        bsz: '\\boldsymbol z',    /* a vector 'z' */
        bsDelta: '\\boldsymbol \\Delta', /* a vector '\Delta' */
        E: '\\mathrm e',          /* the exponential */
        rd: '\\,\\mathrm d',      /* roman d for use in integrals: $\int f(x) \rd x$ */
        d: '\\mathrm d',          /* roman d for use in derivatives: $\dfrac \d {\d x}$ */
        rdelta: '\\,\\delta',     /* delta operator for use in sums */
        rD: '\\mathrm D',         /* differential operator D */

        /* example from MathJax on how to define macros with parameters: */
        /* bold: ['{\\bf #1}', 1] */

        AA: '\\mathcal A',
        BB: '\\mathcal B',
        CC: '\\mathcal C',
        DD: '\\mathcal D',
        EE: '\\mathcal E',
        FF: '\\mathcal F',
        GG: '\\mathcal G',
        HH: '\\mathcal H',
        II: '\\mathcal I',
        JJ: '\\mathcal J',
        KK: '\\mathcal K',
        LL: '\\mathcal L',
        MM: '\\mathcal M',
        NN: '\\mathcal N',
        OO: '\\mathcal O',
        oo: '\\mathcal o',
        PP: '\\mathcal P',
        QQ: '\\mathcal Q',
        RR: '\\mathcal R',
        SS: '\\mathcal S',
        TT: '\\mathcal T',
        UU: '\\mathcal U',
        VV: '\\mathcal V',
        WW: '\\mathcal W',
        XX: '\\mathcal X',
        YY: '\\mathcal Y',
        ZZ: '\\mathcal Z',

        lcm: '\\operatorname {lcm}',

        /* Otherwise undefined trigometrical and hyperbolic functions */
        cosec: '\\operatorname {cosec}',
        sech: '\\operatorname {sech}',
        csch: '\\operatorname {csch}',
        arccot: '\\operatorname {arccot}',
        arccsc: '\\operatorname {arccsc}',
        arcsec: '\\operatorname {arcsec}',
        hav: '\\operatorname {hav}',
        vers: '\\operatorname {vers}',
        cis: '\\operatorname {cis}',
        Ci: '\\operatorname {Ci}',
        Si: '\\operatorname {Si}',
        Li: '\\operatorname {Li}',
        li: '\\operatorname {li}',
        Ei: '\\operatorname {Ei}',
        Sinh: '\\operatorname {Sinh}',
        Cosh: '\\operatorname {Cosh}',
        Sech: '\\operatorname {Sech}',
        Csch: '\\operatorname {Csch}',
        Tanh: '\\operatorname {Tanh}',
        Coth: '\\operatorname {Coth}',
        arsinh: '\\operatorname {arsinh}',
        arcosh: '\\operatorname {arcosh}',
        artanh: '\\operatorname {artanh}',
        arcoth: '\\operatorname {arcoth}',
        arsech: '\\operatorname {arsech}',
        arcsch: '\\operatorname {arcsch}',
        Arsinh: '\\operatorname {Arsinh}',
        Arcosh: '\\operatorname {Arcosh}',
        Artanh: '\\operatorname {Artanh}',
        Arcoth: '\\operatorname {Arcoth}',
        Arsech: '\\operatorname {Arsech}',
        Arcsch: '\\operatorname {Arcsch}',
        erf: '\\operatorname {erf}',
        erfc: '\\operatorname {erfc}',
        am: '\\operatorname {am}',
        ph: '\\operatorname {ph}',
        sn: '\\operatorname {sn}',
        cn: '\\operatorname {cn}',
        dn: '\\operatorname {dn}',

        /* Bracketing constructs */
        paren: ['\\left( #1 \\right)', 1],
        leftparen: ['\\left( #1 \\right.', 1],
        rightparen: ['\\left. #1 \\right)', 1],
        sqbrk: ['\\left[ #1 \\right]', 1],

        set: ['\\left\\lbrace #1 \\right\\rbrace', 1],
        leftset: ['\\left\\lbrace #1 \\right.', 1],
        rightset: ['\\left. #1 \\right\\rbrace', 1],
        cmod: ['\\left\\lvert #1 \\right\\rvert', 1],
        polar: ['\\left\\langle #1 \\right\\rangle', 1],
        norm: ['\\left\\lVert #1 \\right\\rVert', 1],
        floor: ['\\left\\lfloor #1 \\right\\rfloor', 1],
        ceiling: ['\\left\\lceil #1 \\right\\rceil', 1],
        nint: ['\\left\\lfloor #1 \\right\\rceil', 1],

        closedint: ['\\left[ #1 \\,.\\,.\\, #2 \\right]', 2],
        openint: ['\\left( #1 \\,.\\,.\\, #2 \\right)', 2],
        hointl: ['\\left( #1 \\,.\\,.\\, #2 \\right]', 2],
        hointr: ['\\left[ #1 \\,.\\,.\\, #2 \\right)', 2],
        horectl: ['\\left(\\left( #1 \\,.\\,.\\, #2 \\right]\\right]', 2],
        horectr: ['\\left[\\left[ #1 \\,.\\,.\\, #2 \\right)\\right)', 2],
        multiset: ['\\left\\lbrace\\!\\left\\lbrace #1 \\right\\rbrace\\!\\right\\rbrace', 1],

        tuple: ['\\left( #1 \\right)', 1],
        struct: ['\\left( #1 \\right)', 1],
        ideal: ['\\left( #1 \\right)', 1],
        sequence: ['\\left\\langle #1 \\right\\rangle', 1],
        family: ['\\left\\langle #1 \\right\\rangle', 1],
        innerprod: ['\\left\\langle #1, #2 \\right\\rangle', 2],
        gen: ['{\\left\\langle #1 \\right\\rangle}', 1],
        eqclass: ['\\left[\\!\\left[ #1 \\right]\\!\\right]_{#2}', 2],
        index: ['\\left[ #1 : #2 \\right]', 2],
        order: ['\\left\\lvert #1 \\right\\rvert', 1],
        size: ['\\left\\lvert #1 \\right\\rvert', 1],
        bigsize: ['\\bigl\\lvert #1 \\bigr\\rvert', 1],
        card: ['\\left\\lvert #1 \\right\\rvert', 1],
        fractpart: ['\\left\\lbrace #1 \\right\\rbrace', 1],
        map: ['#1 \\left( #2 \\right)', 2],
        braket: ['{\\left\\langle #1 \\, \\middle \\vert \\, #2 \\right\\rangle}', 2],
        meta: ['<\\mathtt {#1}>', 1],

        Syl: ['\\mathrm {Syl}_{#1} \\left( #2 \\right)', 2],
        relcomp: ['\\complement_{#1} \\left( #2 \\right)', 2],
        laptrans: ['\\LL \\left\\lbrace #1 \\right\\rbrace', 1],
        invlaptrans: ['\\LL^{-1} \\left\\lbrace #1 \\right\\rbrace', 1],
        powerset: ['\\PP \\left( #1 \\right)', 1],
        intlimits: ['\\left[ #1 \\right]_{#2}^{#3}', 3],
        bigintlimits: ['\\Bigl[ #1 \\Bigr]_{#2}^{#3}', 3],
        valueat: ['\\left. #1 \\right\\rvert_{#2}', 2],
        bigvalueat: ['\\Bigl. #1 \\Bigr\\rvert_{#2}', 2],

        /* Mathematical Logic */
        Add: '\\operatorname {Add}',
        Mult: '\\operatorname {Mult}',
        Succ: '\\operatorname {Succ}',
        Zero: '\\operatorname {Zero}',
        nec:'\\Box',
        pos:'\\Diamond',

        /* Miscellaneous */
        hcf: '\\mathrm {hcf}',
        inj: '\\mathrm {inj}',
        rem: '\\mathop {\\mathrm {rem} }',
        pr: '\\mathrm {pr}',
        proj: '\\mathrm {proj}',
        tr: '\\mathrm {tr}',
        len: '\\mathrm {len}',
        sgn: '\\mathrm {sgn}',
        grad: '\\operatorname {grad}',
        curl: '\\mathop {\\mathrm {curl} }',
        dr: ['\\mathrm {dr} \\left( #1 \\right)', 1],
        cl: '\\mathrm {cl}',
        var: ['\\mathsf {var} \\left( #1 \\right)', 1],
        cov: ['\\mathsf {cov} \\left( #1 \\right)', 1],
        expect: ['\\mathsf E \\left( #1 \\right)', 1],
        conjclass: ['\\mathrm C_{#1}', 1],
        Log: '\\operatorname {Log}',
        Ln: '\\operatorname {Ln}',
        On: '\\operatorname {On}',
        Area: '\\operatorname {Area}',
        Card: '\\operatorname {Card}',
        Frob: '\\operatorname {Frob}',
        supp: '\\mathrm {supp}',
	Bernoulli: ['\\mathrm {Bern} \\left( #1 \\right)', 1],
	BetaDist: ['\\mathrm {Beta} \\left( #1, #2 \\right)', 2],
	Binomial: ['\\mathrm B \\left( #1, #2 \\right)', 2],
	Cauchy: ['\\mathrm {Cauchy} \\left( #1, #2 \\right)', 2],
	NegativeBinomial: ['\\mathrm {NB} \\left( #1, #2 \\right)', 2],
	Exponential: ['\\mathrm {Exp} \\left( #1 \\right)', 1],
	Gaussian: ['N \\left( #1, #2 \\right)', 2],
	Geometric: ['\\mathrm G_0 \\left( #1 \\right)', 1],
	ShiftedGeometric: ['\\mathrm G_1 \\left( #1 \\right)', 1],
        Poisson: ['\\mathrm {Poisson} \\left( #1 \\right)', 1],
	StudentT: ['t_{#1}', 1],
	ContinuousUniform: ['\\mathrm U \\left[ #1 \\,.\\,.\\, #2 \\right]', 2],
	DiscreteUniform: ['\\mathrm U \\left( #1 \\right)', 1],
        condprob: ['\\Pr \\left( #1 \\, \\middle \\vert \\, #2 \\right)', 2],
        Arg: ['\\mathrm {Arg} \\left( #1 \\right)', 1],
        adj: ['\\mathrm {adj} \\left( #1 \\right)', 1],
        domain: ['\\mathrm {Dom} \\left( #1 \\right)', 1],
        cont: ['\\mathrm {cont} \\left( #1 \\right)', 1],
        Dom: ['\\mathrm {Dom} \\left( #1 \\right)', 1],
        Cdm: ['\\mathrm {Cdm} \\left( #1 \\right)', 1],
        Rng: ['\\mathrm {Rng} \\left( #1 \\right)', 1],
        Field: ['\\mathrm {Field} \\left( #1 \\right)', 1],
        Img: ['\\mathrm {Img} \\\left( #1 \\right)', 1],
        Preimg: ['\\mathrm {Img}^{-1} \\left( #1 \\right)', 1],
        image: ['\\Img #1 ', 1],
        Orb: ['\\mathrm {Orb} \\left( #1 \\right)', 1],
        Stab: ['\\mathrm {Stab} \\left( #1 \\right)', 1],
        Dic: ['\\operatorname {Dic}_{#1}', 1],
        GL: ['\\mathrm {GL} \\left( #1 \\right)', 1],
        SL: ['\\mathrm {SL} \\left (#1 \\right)', 1],
        SU: ['\\operatorname {SU_{#1} }', 1],
        Aut: ['\\mathrm {Aut} \\left( #1 \\right)', 1],
        Out: ['\\mathrm {Out} \\left( #1 \\right)', 1],
        Gal: ['\\mathrm {Gal} \\left( #1 \\right)', 1],
        Inn: ['\\mathrm {Inn} \\left( #1 \\right)', 1],
        Fix: ['\\mathrm {Fix} \\left( #1 \\right)', 1],
        Char: ['\\mathrm {Char} \\left( #1 \\right)', 1],
        Spec: ['\\mathrm {Spec} \\left( #1 \\right)', 1],
        Nil: ['\\mathrm {Nil} \\left( #1 \\right)', 1],
        Ord: ['\\map {\\mathrm {Ord} } #1', 1],
        Res: ['\\mathrm {Res} \\left( #1, #2 \\right)', 2],
        Int: ['\\mathrm {Int} \\left( #1 \\right)', 1],
        Ext: ['\\mathrm {Ext} \\left( #1 \\right)', 1],
        harm: ['\\map {H^{\\paren {#1} } } {#2}', 2],
        Ai: '\\mathrm {Ai}',
        Ber: '\\mathrm {Ber}',
        Bei: '\\mathrm {Bei}',
        Ker: '\\mathrm {Ker}',
        Kei: '\\mathrm {Kei}',
        Rad: '\\mathrm {Rad}',
        diam: '\\mathrm {diam}',
        span: '\\mathrm {span}',
        essup: '\\mathrm {essup}',
        ot: '\\mathrm {ot}',
        stratgame: ['\\left\\langle #1, \\sequence {#2}, \\sequence {#3} \\right\\rangle', 3],
        divides: '\\mathrel \\backslash',
        symdif: '\\mathop \\Delta',
        PV: '\\displaystyle - \\kern-10.5pt \\int ',
        leadstoandfrom: '\\mathrel \\leftrightsquigarrow',
        weakconv: '\\mathrel {\\rightharpoonup}',
        weakstarconv: '\\mathrel {\\stackrel \\ast \\rightharpoonup}',
        degrees: '^\\circ',
        minutes: '^\\prime',
        seconds: '^{\\prime \\prime}',
        radians: '\\, \\mathrm {rad}',
        cels: '\\, \\degrees \\mathrm C',
        fahr: '\\, \\degrees \\mathrm F',
        rankine: '\\, \\degrees \\mathrm R',
        pounds: '{\\unicode{xA3}}',		/* the pound symbol unaccountably missing from mathjax */
        cents: '{\\unicode{xA2}}',		/* the cent symbol unaccountably missing from mathjax */
        shillings: '\\, \\mathrm s.',
        oldpence: '\\, \\mathrm d.',
        Re: '\\mathfrak {Re}',
        Im: '\\mathfrak {Im}',
        ds: '\\displaystyle'
      }
    }
});