@zklogic/draw.io

Version:

Draw.IO - Graph Editor integration in Angular-cli

1 lines • 299 B

JavaScript

!function(E){var C=E.mo.OPTYPES;E.TEXCLASS,MathJax.Hub.Insert(E.mo.prototype,{OPTABLE:{postfix:{"⎴":C.WIDEACCENT,"⎵":C.WIDEACCENT,"⏜":C.WIDEACCENT,"⏝":C.WIDEACCENT,"⏠":C.WIDEACCENT,"⏡":C.WIDEACCENT}}}),MathJax.Ajax.loadComplete(E.optableDir+"/MiscTechnical.js")}(MathJax.ElementJax.mml);