https://texform.dev/ruleshttps://texform.dev/rules/ams/Doteq-to-doteqdothttps://texform.dev/rules/ams/doublecap-to-Caphttps://texform.dev/rules/ams/gggtr-to-ggghttps://texform.dev/rules/ams/llless-to-lllhttps://texform.dev/rules/ams/trianglerighteq-to-unrhdhttps://texform.dev/rules/ams/unlhd-to-trianglelefteqhttps://texform.dev/rules/ams/vartriangleleft-to-lhdhttps://texform.dev/rules/ams/vartriangleright-to-rhdhttps://texform.dev/rules/ams/operatorname-to-named-functionhttps://texform.dev/rules/ams/nobreakspace-to-tildehttps://texform.dev/rules/ams/Bmatrix-env-to-brace-matrixhttps://texform.dev/rules/ams/Vmatrix-env-to-Vert-matrixhttps://texform.dev/rules/ams/bmatrix-env-to-bracket-matrixhttps://texform.dev/rules/ams/pmatrix-env-to-paren-matrixhttps://texform.dev/rules/ams/vmatrix-env-to-vert-matrixhttps://texform.dev/rules/ams/cfrac-to-frachttps://texform.dev/rules/ams/dbinom-and-tbinom-to-binomhttps://texform.dev/rules/ams/dfrac-to-frachttps://texform.dev/rules/ams/tfrac-to-frachttps://texform.dev/rules/ams/impliedby-to-Longleftarrowhttps://texform.dev/rules/ams/implies-to-Longrightarrowhttps://texform.dev/rules/ams/Join-to-bowtiehttps://texform.dev/rules/ams/centerdot-to-cdothttps://texform.dev/rules/ams/doublecup-to-Cuphttps://texform.dev/rules/ams/leadsto-to-rightsquigarrowhttps://texform.dev/rules/ams/lozenge-to-Diamondhttps://texform.dev/rules/ams/restriction-to-upharpoonrighthttps://texform.dev/rules/ams/square-to-Boxhttps://texform.dev/rules/ams/vartriangle-to-bigtriangleuphttps://texform.dev/rules/ams/idotsint-expandhttps://texform.dev/rules/ams/substack-expandhttps://texform.dev/rules/base/ast-to-asteriskhttps://texform.dev/rules/base/ge-to-geqhttps://texform.dev/rules/base/le-to-leqhttps://texform.dev/rules/base/lnot-to-neghttps://texform.dev/rules/base/ne-to-neqhttps://texform.dev/rules/base/owns-to-nihttps://texform.dev/rules/base/prime-to-prime-nodehttps://texform.dev/rules/base/break-to-linebreakhttps://texform.dev/rules/base/newline-to-linebreakhttps://texform.dev/rules/base/not-equals-to-neqhttps://texform.dev/rules/base/not-exists-to-nexistshttps://texform.dev/rules/base/not-in-to-notinhttps://texform.dev/rules/base/not-right-arrow-to-nrightarrowhttps://texform.dev/rules/base/above-to-genfrachttps://texform.dev/rules/base/abovewithdelims-to-genfrachttps://texform.dev/rules/base/atop-to-genfrachttps://texform.dev/rules/base/atopwithdelims-to-genfrachttps://texform.dev/rules/base/brace-to-genfrachttps://texform.dev/rules/base/brack-to-genfrachttps://texform.dev/rules/base/choose-to-binomhttps://texform.dev/rules/base/over-to-frachttps://texform.dev/rules/base/overwithdelims-to-genfrachttps://texform.dev/rules/base/cases-to-cases-envhttps://texform.dev/rules/base/eqalign-to-aligned-envhttps://texform.dev/rules/base/eqalignno-to-align-envhttps://texform.dev/rules/base/matrix-to-matrix-envhttps://texform.dev/rules/base/pmatrix-to-pmatrix-envhttps://texform.dev/rules/base/root-of-to-sqrthttps://texform.dev/rules/base/control-space-to-tildehttps://texform.dev/rules/base/gt-space-to-colon-spacehttps://texform.dev/rules/base/hfil-to-hfillhttps://texform.dev/rules/base/hfilll-to-hfillhttps://texform.dev/rules/base/hskip-to-hspacehttps://texform.dev/rules/base/negthinspace-to-neg-comma-spacehttps://texform.dev/rules/base/space-to-tildehttps://texform.dev/rules/base/thinspace-to-comma-spacehttps://texform.dev/rules/base/double-enspace-to-quadhttps://texform.dev/rules/base/double-quad-to-qquadhttps://texform.dev/rules/base/small-spacer-merge-to-enspacehttps://texform.dev/rules/base/buildrel-to-stackrelhttps://texform.dev/rules/base/duplicate-mathrel-wrapper-drophttps://texform.dev/rules/base/Big-class-variants-to-Bighttps://texform.dev/rules/base/Bigg-class-variants-to-Bigghttps://texform.dev/rules/base/big-class-variants-to-bighttps://texform.dev/rules/base/bigg-class-variants-to-bigghttps://texform.dev/rules/base/leftroot-drophttps://texform.dev/rules/base/uproot-drophttps://texform.dev/rules/base/allowbreak-drophttps://texform.dev/rules/base/badbreak-drophttps://texform.dev/rules/base/goodbreak-drophttps://texform.dev/rules/base/mathstrut-drophttps://texform.dev/rules/base/nobreak-drophttps://texform.dev/rules/base/strut-drophttps://texform.dev/rules/base/widehat-to-hathttps://texform.dev/rules/base/widetilde-to-tildehttps://texform.dev/rules/base/Big-delimiter-size-drophttps://texform.dev/rules/base/Bigg-delimiter-size-drophttps://texform.dev/rules/base/big-delimiter-size-drophttps://texform.dev/rules/base/bigg-delimiter-size-drophttps://texform.dev/rules/base/limits-drophttps://texform.dev/rules/base/nolimits-drophttps://texform.dev/rules/base/enspace-drophttps://texform.dev/rules/base/qquad-drophttps://texform.dev/rules/base/quad-drophttps://texform.dev/rules/base/dots-to-ldots-or-cdotshttps://texform.dev/rules/base/gets-to-leftarrowhttps://texform.dev/rules/base/land-to-wedgehttps://texform.dev/rules/base/lor-to-veehttps://texform.dev/rules/base/rightarrow-to-tohttps://texform.dev/rules/base/semantic-dots-to-cdotshttps://texform.dev/rules/base/semantic-dots-to-ldotshttps://texform.dev/rules/base/mkern-to-mspacehttps://texform.dev/rules/base/mskip-to-mspacehttps://texform.dev/rules/base/stackbin-expandhttps://texform.dev/rules/base/stackrel-expandhttps://texform.dev/rules/physics/divsymbol-to-divisionsymbolhttps://texform.dev/rules/physics/dotproduct-to-vdothttps://texform.dev/rules/physics/derivative-to-dvhttps://texform.dev/rules/physics/functional-derivative-to-fdvhttps://texform.dev/rules/physics/partial-derivative-to-pdvhttps://texform.dev/rules/physics/antidiagonalmatrix-to-admathttps://texform.dev/rules/physics/diagonalmatrix-to-dmathttps://texform.dev/rules/physics/matrixdeterminant-to-mdethttps://texform.dev/rules/physics/cosine-to-coshttps://texform.dev/rules/physics/naturallogarithm-to-lnhttps://texform.dev/rules/physics/probability-to-prhttps://texform.dev/rules/physics/sine-to-sinhttps://texform.dev/rules/physics/absolutevalue-to-abshttps://texform.dev/rules/physics/evaluated-to-evalhttps://texform.dev/rules/physics/quantity-to-qtyhttps://texform.dev/rules/physics/trace-capital-to-Trhttps://texform.dev/rules/physics/trace-to-trhttps://texform.dev/rules/physics/vectorarrow-to-vahttps://texform.dev/rules/physics/vectorbold-to-vbhttps://texform.dev/rules/physics/vectorunit-to-vuhttps://texform.dev/rules/physics/expectation-expandhttps://texform.dev/rules/physics/matrixel-expandhttps://texform.dev/rules/physics/physics-bra-expandhttps://texform.dev/rules/physics/physics-braket-expandhttps://texform.dev/rules/physics/physics-ket-expandhttps://texform.dev/rules/physics/cross-aliases-to-timeshttps://texform.dev/rules/physics/commutator-expandhttps://texform.dev/rules/physics/poisson-bracket-expandhttps://texform.dev/rules/physics/Bqty-to-brace-fencehttps://texform.dev/rules/physics/abs-to-vert-fencehttps://texform.dev/rules/physics/bqty-to-bracket-fencehttps://texform.dev/rules/physics/norm-to-double-vert-fencehttps://texform.dev/rules/physics/pqty-to-paren-fencehttps://texform.dev/rules/physics/dv-to-frac-dhttps://texform.dev/rules/physics/fdv-to-frac-deltahttps://texform.dev/rules/physics/pdv-to-frac-partialhttps://texform.dev/rules/physics/eval-expandhttps://texform.dev/rules/physics/bmqty-to-mqtyhttps://texform.dev/rules/physics/mdet-to-vmqtyhttps://texform.dev/rules/physics/pmqty-to-mqtyhttps://texform.dev/rules/physics/zmat-to-xmathttps://texform.dev/rules/physics/named-fn-paren-expandhttps://texform.dev/rules/physics/named-fn-to-operatornamehttps://texform.dev/rules/physics/physics-operator-fence-expandhttps://texform.dev/rules/physics/rank-to-operatorname-rankhttps://texform.dev/rules/physics/va-to-vec-mathbfhttps://texform.dev/rules/physics/vb-to-mathbfhttps://texform.dev/rules/physics/vu-to-hat-mathbf