@zklogic/draw.io
Version:
Draw.IO - Graph Editor integration in Angular-cli
1 lines • 554 B
JavaScript
!function(f){MathJax.Hub.Insert(f.Parse.Entity,{Fcy:"Ф",FilledSmallSquare:"◼",Fouriertrf:"ℱ",fallingdotseq:"≒",fcy:"ф",female:"♀",ffilig:"ffi",fflig:"ff",ffllig:"ffl",filig:"fi",fjlig:"fj",fllig:"fl",fltns:"▱",fnof:"ƒ",forall:"∀",forkv:"⫙",fpartint:"⨍",frac12:"½",frac13:"⅓",frac14:"¼",frac15:"⅕",frac16:"⅙",frac18:"⅛",frac23:"⅔",frac25:"⅖",frac34:"¾",frac35:"⅗",frac38:"⅜",frac45:"⅘",frac56:"⅚",frac58:"⅝",frac78:"⅞",frasl:"⁄"}),MathJax.Ajax.loadComplete(f.entityDir+"/f.js")}(MathJax.InputJax.MathML);