Searched refs:PROOF (Results 1 – 2 of 2) sorted by relevance
| /plugin/diagramsnet/lib/math/extensions/a11y/ |
| H A D | mathjax-sre.js | 220 …E:"multiline",MATRIX:"matrix",VECTOR:"vector",CASES:"cases",TABLE:"table",PROOF:"proof",LEFT:"left… property in sre.SemanticAttr.Role
369 …mlTree=a,b;a=this.inference(a,b,c);b.proof&&(a.role=sre.SemanticAttr.Role.PROOF,a.childNodes[0].ro…
|
| /plugin/html2pdf/html2pdf/html2ps/data/ |
| H A D | LineBreak.txt | 6579 220E;AL # END OF PROOF
|