@zklogic/draw.io

Version:

Draw.IO - Graph Editor integration in Angular-cli

1 lines • 742 B

JavaScript

!function(o){MathJax.Hub.Insert(o.Parse.Entity,{Aopf:"𝔸",Bopf:"𝔹",Copf:"ℂ",Dopf:"𝔻",Eopf:"𝔼",Fopf:"𝔽",Gopf:"𝔾",Hopf:"ℍ",Iopf:"𝕀",Jopf:"𝕁",Kopf:"𝕂",Lopf:"𝕃",Mopf:"𝕄",Nopf:"ℕ",Oopf:"𝕆",Popf:"ℙ",Qopf:"ℚ",Ropf:"ℝ",Sopf:"𝕊",Topf:"𝕋",Uopf:"𝕌",Vopf:"𝕍",Wopf:"𝕎",Xopf:"𝕏",Yopf:"𝕐",Zopf:"ℤ",aopf:"𝕒",bopf:"𝕓",copf:"𝕔",dopf:"𝕕",eopf:"𝕖",fopf:"𝕗",gopf:"𝕘",hopf:"𝕙",iopf:"𝕚",jopf:"𝕛",kopf:"𝕜",lopf:"𝕝",mopf:"𝕞",nopf:"𝕟",oopf:"𝕠",popf:"𝕡",qopf:"𝕢",ropf:"𝕣",sopf:"𝕤",topf:"𝕥",uopf:"𝕦",vopf:"𝕧",wopf:"𝕨",xopf:"𝕩",yopf:"𝕪",zopf:"𝕫"}),MathJax.Ajax.loadComplete(o.entityDir+"/opf.js")}(MathJax.InputJax.MathML);