@zklogic/draw.io

Version:

Draw.IO - Graph Editor integration in Angular-cli

1 lines • 791 B

JavaScript

!function(a){MathJax.Hub.Insert(a.Parse.Entity,{VDash:"⊫",Vbar:"⫫",Vcy:"В",Vdashl:"⫦",Verbar:"‖",Vert:"‖",VerticalLine:"|",VerticalSeparator:"❘",VeryThinSpace:" ",vArr:"⇕",vBar:"⫨",vBarv:"⫩",vDash:"⊨",vangrt:"⦜",varepsilon:"ϵ",varkappa:"ϰ",varnothing:"∅",varphi:"ϕ",varpi:"ϖ",varpropto:"∝",varr:"↕",varrho:"ϱ",varsigma:"ς",varsubsetneq:"⊊︀",varsubsetneqq:"⫋︀",varsupsetneq:"⊋︀",varsupsetneqq:"⫌︀",vartheta:"ϑ",vartriangleleft:"⊲",vartriangleright:"⊳",vcy:"в",vdash:"⊢",vee:"∨",veeeq:"≚",verbar:"|",vert:"|",vltri:"⊲",vnsub:"⊂⃒",vnsup:"⊃⃒",vprop:"∝",vrtri:"⊳",vsubnE:"⫋︀",vsubne:"⊊︀",vsupnE:"⫌︀",vsupne:"⊋︀",vzigzag:"⦚"}),MathJax.Ajax.loadComplete(a.entityDir+"/v.js")}(MathJax.InputJax.MathML);