@zklogic/draw.io
Version:
Draw.IO - Graph Editor integration in Angular-cli
1 lines • 601 B
JavaScript
!function(B){var I=B.mo.OPTYPES;B.TEXCLASS,MathJax.Hub.Insert(B.mo.prototype,{OPTABLE:{infix:{"■":I.BIN3,"□":I.BIN3,"▪":I.BIN3,"▫":I.BIN3,"▭":I.BIN3,"▮":I.BIN3,"▯":I.BIN3,"▰":I.BIN3,"▱":I.BIN3,"▲":I.BIN4,"▴":I.BIN4,"▶":I.BIN4,"▷":I.BIN4,"▸":I.BIN4,"▼":I.BIN4,"▾":I.BIN4,"◀":I.BIN4,"◁":I.BIN4,"◂":I.BIN4,"◄":I.BIN4,"◅":I.BIN4,"◆":I.BIN4,"◇":I.BIN4,"◈":I.BIN4,"◉":I.BIN4,"◌":I.BIN4,"◍":I.BIN4,"◎":I.BIN4,"●":I.BIN4,"◖":I.BIN4,"◗":I.BIN4,"◦":I.BIN4}}}),MathJax.Ajax.loadComplete(B.optableDir+"/GeometricShapes.js")}(MathJax.ElementJax.mml);