@zklogic/draw.io
Version:
Draw.IO - Graph Editor integration in Angular-cli
1 lines • 278 B
JavaScript
!function(a){var t=a.mo.OPTYPES;a.TEXCLASS,MathJax.Hub.Insert(a.mo.prototype,{OPTABLE:{prefix:{"⟦":t.OPEN,"⟪":t.OPEN,"⟬":t.OPEN},postfix:{"⟧":t.CLOSE,"⟫":t.CLOSE,"⟭":t.CLOSE}}}),MathJax.Ajax.loadComplete(a.optableDir+"/MiscMathSymbolsA.js")}(MathJax.ElementJax.mml);