@zklogic/draw.io

Version:

Draw.IO - Graph Editor integration in Angular-cli

1 lines • 291 B

JavaScript

!function(E){var a=E.mo.OPTYPES;E.TEXCLASS,MathJax.Hub.Insert(E.mo.prototype,{OPTABLE:{infix:{"⟰":a.RELSTRETCH,"⟱":a.RELSTRETCH,"⟻":a.WIDEREL,"⟽":a.WIDEREL,"⟾":a.WIDEREL,"⟿":a.WIDEREL}}}),MathJax.Ajax.loadComplete(E.optableDir+"/SupplementalArrowsA.js")}(MathJax.ElementJax.mml);