@zklogic/draw.io

Version:

Draw.IO - Graph Editor integration in Angular-cli

1 lines • 454 B

JavaScript

!function(h){MathJax.Hub.Insert(h.Parse.Entity,{HARDcy:"Ъ",Hcirc:"Ĥ",HilbertSpace:"ℋ",HorizontalLine:"─",Hstrok:"Ħ",hArr:"⇔",hairsp:" ",half:"½",hamilt:"ℋ",hardcy:"ъ",harr:"↔",harrcir:"⥈",hcirc:"ĥ",hearts:"♥",heartsuit:"♥",hercon:"⊹",hksearow:"⤥",hkswarow:"⤦",hoarr:"⇿",homtht:"∻",horbar:"―",hslash:"ℏ",hstrok:"ħ",hybull:"⁃",hyphen:"‐"}),MathJax.Ajax.loadComplete(h.entityDir+"/h.js")}(MathJax.InputJax.MathML);