!function(E){var R=E.mo.OPTYPES;E.TEXCLASS;MathJax.Hub.Insert(E.mo.prototype,{OPTABLE:{infix:{"⤀":R.RELACCENT,"⤁":R.RELACCENT,"⤂":R.RELACCENT,"⤃":R.RELACCENT,"⤄":R.RELACCENT,"⤅":R.RELACCENT,"⤆":R.RELACCENT,"⤇":R.RELACCENT,"⤈":R.REL,"⤉":R.REL,"⤊":R.RELSTRETCH,"⤋":R.RELSTRETCH,"⤌":R.WIDEREL,"⤍":R.WIDEREL,"⤎":R.WIDEREL,"⤏":R.WIDEREL,"⤐":R.WIDEREL,"⤑":R.RELACCENT,"⤒":R.RELSTRETCH,"⤓":R.RELSTRETCH,"⤔":R.RELACCENT,"⤕":R.RELACCENT,"⤖":R.RELACCENT,"⤗":R.RELACCENT,"⤘":R.RELACCENT,"⤙":R.RELACCENT,"⤚":R.RELACCENT,"⤛":R.RELACCENT,"⤜":R.RELACCENT,"⤝":R.RELACCENT,"⤞":R.RELACCENT,"⤟":R.RELACCENT,"⤠":R.RELACCENT,"⤡":R.RELSTRETCH,"⤢":R.RELSTRETCH,"⤣":R.REL,"⤤":R.REL,"⤥":R.REL,"⤦":R.REL,"⤧":R.REL,"⤨":R.REL,"⤩":R.REL,"⤪":R.REL,"⤫":R.REL,"⤬":R.REL,"⤭":R.REL,"⤮":R.REL,"⤯":R.REL,"⤰":R.REL,"⤱":R.REL,"⤲":R.REL,"⤳":R.RELACCENT,"⤴":R.REL,"⤵":R.REL,"⤶":R.REL,"⤷":R.REL,"⤸":R.REL,"⤹":R.REL,"⤺":R.RELACCENT,"⤻":R.RELACCENT,"⤼":R.RELACCENT,"⤽":R.RELACCENT,"⤾":R.REL,"⤿":R.REL,"⥀":R.REL,"⥁":R.REL,"⥂":R.RELACCENT,"⥃":R.RELACCENT,"⥄":R.RELACCENT,"⥅":R.RELACCENT,"⥆":R.RELACCENT,"⥇":R.RELACCENT,"⥈":R.RELACCENT,"⥉":R.REL,"⥊":R.RELACCENT,"⥋":R.RELACCENT,"⥌":R.REL,"⥍":R.REL,"⥎":R.WIDEREL,"⥏":R.RELSTRETCH,"⥐":R.WIDEREL,"⥑":R.RELSTRETCH,"⥒":R.WIDEREL,"⥓":R.WIDEREL,"⥔":R.RELSTRETCH,"⥕":R.RELSTRETCH,"⥖":R.RELSTRETCH,"⥗":R.RELSTRETCH,"⥘":R.RELSTRETCH,"⥙":R.RELSTRETCH,"⥚":R.WIDEREL,"⥛":R.WIDEREL,"⥜":R.RELSTRETCH,"⥝":R.RELSTRETCH,"⥞":R.WIDEREL,"⥟":R.WIDEREL,"⥠":R.RELSTRETCH,"⥡":R.RELSTRETCH,"⥢":R.RELACCENT,"⥣":R.REL,"⥤":R.RELACCENT,"⥥":R.REL,"⥦":R.RELACCENT,"⥧":R.RELACCENT,"⥨":R.RELACCENT,"⥩":R.RELACCENT,"⥪":R.RELACCENT,"⥫":R.RELACCENT,"⥬":R.RELACCENT,"⥭":R.RELACCENT,"⥮":R.RELSTRETCH,"⥯":R.RELSTRETCH,"⥰":R.RELACCENT,"⥱":R.RELACCENT,"⥲":R.RELACCENT,"⥳":R.RELACCENT,"⥴":R.RELACCENT,"⥵":R.RELACCENT,"⥶":R.RELACCENT,"⥷":R.RELACCENT,"⥸":R.RELACCENT,"⥹":R.RELACCENT,"⥺":R.RELACCENT,"⥻":R.RELACCENT,"⥼":R.RELACCENT,"⥽":R.RELACCENT,"⥾":R.REL,"⥿":R.REL}}}),MathJax.Ajax.loadComplete(E.optableDir+"/SupplementalArrowsB.js")}(MathJax.ElementJax.mml);