@zklogic/draw.io

Version:

Draw.IO - Graph Editor integration in Angular-cli

1 lines • 403 B

JavaScript

!function(e){e.mo.OPTYPES;var t=e.TEXCLASS;MathJax.Hub.Insert(e.mo.prototype,{OPTABLE:{prefix:{"‖":[0,0,t.ORD,{fence:!0,stretchy:!0}],"‘":[0,0,t.OPEN,{fence:!0}],"“":[0,0,t.OPEN,{fence:!0}]},postfix:{"‖":[0,0,t.ORD,{fence:!0,stretchy:!0}],"’":[0,0,t.CLOSE,{fence:!0}],"”":[0,0,t.CLOSE,{fence:!0}]}}}),MathJax.Ajax.loadComplete(e.optableDir+"/GeneralPunctuation.js")}(MathJax.ElementJax.mml);