@zklogic/draw.io

Version:

Draw.IO - Graph Editor integration in Angular-cli

1 lines • 363 B

JavaScript

!function(x){MathJax.Hub.Insert(x.Parse.Entity,{xcap:"⋂",xcirc:"◯",xcup:"⋃",xdtri:"▽",xhArr:"⟺",xharr:"⟷",xlArr:"⟸",xlarr:"⟵",xmap:"⟼",xnis:"⋻",xodot:"⨀",xoplus:"⨁",xotime:"⨂",xrArr:"⟹",xrarr:"⟶",xsqcup:"⨆",xuplus:"⨄",xutri:"△",xvee:"⋁",xwedge:"⋀"}),MathJax.Ajax.loadComplete(x.entityDir+"/x.js")}(MathJax.InputJax.MathML);