@zklogic/draw.io/dist/mxgraph/grapheditor/math/jax/element/mml/optable/MiscSymbolsAndArrows.js

Draw.IO - Graph Editor integration in Angular-cli

!function(a){var o=a.mo.OPTYPES;a.TEXCLASS,MathJax.Hub.Insert(a.mo.prototype,{OPTABLE:{infix:{"⭅":o.RELSTRETCH,"⭆":o.RELSTRETCH}}}),MathJax.Ajax.loadComplete(a.optableDir+"/MiscSymbolsAndArrows.js")}(MathJax.ElementJax.mml);