@zklogic/draw.io
Version:
Draw.IO - Graph Editor integration in Angular-cli
1 lines • 691 B
JavaScript
!function(r){MathJax.Hub.Insert(r.Parse.Entity,{Afr:"𝔄",Bfr:"𝔅",Cfr:"ℭ",Dfr:"𝔇",Efr:"𝔈",Ffr:"𝔉",Gfr:"𝔊",Hfr:"ℌ",Ifr:"ℑ",Jfr:"𝔍",Kfr:"𝔎",Lfr:"𝔏",Mfr:"𝔐",Nfr:"𝔑",Ofr:"𝔒",Pfr:"𝔓",Qfr:"𝔔",Rfr:"ℜ",Sfr:"𝔖",Tfr:"𝔗",Ufr:"𝔘",Vfr:"𝔙",Wfr:"𝔚",Xfr:"𝔛",Yfr:"𝔜",Zfr:"ℨ",afr:"𝔞",bfr:"𝔟",cfr:"𝔠",dfr:"𝔡",efr:"𝔢",ffr:"𝔣",gfr:"𝔤",hfr:"𝔥",ifr:"𝔦",jfr:"𝔧",kfr:"𝔨",lfr:"𝔩",mfr:"𝔪",nfr:"𝔫",ofr:"𝔬",pfr:"𝔭",qfr:"𝔮",rfr:"𝔯",sfr:"𝔰",tfr:"𝔱",ufr:"𝔲",vfr:"𝔳",wfr:"𝔴",xfr:"𝔵",yfr:"𝔶",zfr:"𝔷"}),MathJax.Ajax.loadComplete(r.entityDir+"/fr.js")}(MathJax.InputJax.MathML);