GitHub
commit
5d829a1933
@ -0,0 +1,33 @@
|
||||
name: Build and Test
|
||||
|
||||
on:
|
||||
push:
|
||||
branches: [ main, develop ]
|
||||
pull_request:
|
||||
branches: [ main, develop ]
|
||||
|
||||
env:
|
||||
CARGO_TERM_COLOR: always
|
||||
|
||||
jobs:
|
||||
build-and-test:
|
||||
|
||||
runs-on: ubuntu-latest
|
||||
|
||||
steps:
|
||||
- uses: actions/checkout@v2
|
||||
|
||||
- name: Cache build data
|
||||
uses: actions/cache@v2
|
||||
with:
|
||||
path: |
|
||||
target
|
||||
~/.cargo/
|
||||
key: ${{ runner.os }}-cargo-${{ hashFiles('Cargo.lock') }}
|
||||
restore-keys: |
|
||||
${{ runner.os }}-cargo-
|
||||
- name: Build
|
||||
run: cargo build --verbose --all-features
|
||||
|
||||
- name: Run tests
|
||||
run: cargo test --verbose --all-features
|
||||
@ -1,12 +1,12 @@
|
||||
pub const G_HAT: &'static [&str] = &["hat"];
|
||||
pub const G_OVERLINE: &'static [&str] = &["bar", "overline"];
|
||||
pub const G_UNDERLINE: &'static [&str] = &["ul", "underline"];
|
||||
pub const G_VEC: &'static [&str] = &["vec"];
|
||||
pub const G_DOT: &'static [&str] = &["dot"];
|
||||
pub const G_DDOT: &'static [&str] = &["ddot"];
|
||||
pub const G_OVERSET: &'static [&str] = &["overset"];
|
||||
pub const G_UNDERSET: &'static [&str] = &["underset"];
|
||||
pub const G_UNDERBRACE: &'static [&str] = &["ubrace", "underbrace"];
|
||||
pub const G_OVERBRACE: &'static [&str] = &["obrace", "overbrace"];
|
||||
pub const G_COLOR: &'static [&str] = &["color("];
|
||||
pub const G_CANCEL: &'static [&str] = &["cancel"];
|
||||
pub const G_HAT: &[&str] = &["hat"];
|
||||
pub const G_OVERLINE: &[&str] = &["bar", "overline"];
|
||||
pub const G_UNDERLINE: &[&str] = &["ul", "underline"];
|
||||
pub const G_VEC: &[&str] = &["vec"];
|
||||
pub const G_DOT: &[&str] = &["dot"];
|
||||
pub const G_DDOT: &[&str] = &["ddot"];
|
||||
pub const G_OVERSET: &[&str] = &["overset"];
|
||||
pub const G_UNDERSET: &[&str] = &["underset"];
|
||||
pub const G_UNDERBRACE: &[&str] = &["ubrace", "underbrace"];
|
||||
pub const G_OVERBRACE: &[&str] = &["obrace", "overbrace"];
|
||||
pub const G_COLOR: &[&str] = &["color("];
|
||||
pub const G_CANCEL: &[&str] = &["cancel"];
|
||||
|
||||
@ -1,13 +1,13 @@
|
||||
pub const G_UPARROW: &'static[&str] = &["uarr", "uparrow"];
|
||||
pub const G_DOWNARROW: &'static[&str] = &["darr", "downarrow"];
|
||||
pub const G_RIGHTARROW: &'static[&str] = &["rarr", "rightarrow"];
|
||||
pub const G_TO: &'static[&str] = &["->", "to"];
|
||||
pub const G_RIGHTARROWTAIL: &'static[&str] = &[">->", "rightarrowtail"];
|
||||
pub const G_TWOHEADRIGHTARROW: &'static[&str] = &["->>", "twoheadrightarrow"];
|
||||
pub const G_TWOHEADRIGHTARROWTAIL: &'static[&str]= &[">->>", "twoheadrightarrowtail"];
|
||||
pub const G_MAPSTO: &'static[&str] = &["|->", "mapsto"];
|
||||
pub const G_LEFTARROW: &'static[&str] = &["larr", "leftarrow"];
|
||||
pub const G_LEFTRIGHTARROW: &'static[&str] = &["harr", "leftrightarrow"];
|
||||
pub const G_BIGRIGHTARROW: &'static[&str] = &["rArr", "Rightarrow"];
|
||||
pub const G_BIGLEFTARROW: &'static[&str]= &["lArr", "Leftarrow"];
|
||||
pub const G_BIGLEFTRIGHTARROW: &'static[&str] = &["hArr", "Leftrightarrow"];
|
||||
pub const G_UPARROW: &[&str] = &["uarr", "uparrow"];
|
||||
pub const G_DOWNARROW: &[&str] = &["darr", "downarrow"];
|
||||
pub const G_RIGHTARROW: &[&str] = &["rarr", "rightarrow"];
|
||||
pub const G_TO: &[&str] = &["->", "to"];
|
||||
pub const G_RIGHTARROWTAIL: &[&str] = &[">->", "rightarrowtail"];
|
||||
pub const G_TWOHEADRIGHTARROW: &[&str] = &["->>", "twoheadrightarrow"];
|
||||
pub const G_TWOHEADRIGHTARROWTAIL: &[&str] = &[">->>", "twoheadrightarrowtail"];
|
||||
pub const G_MAPSTO: &[&str] = &["|->", "mapsto"];
|
||||
pub const G_LEFTARROW: &[&str] = &["larr", "leftarrow"];
|
||||
pub const G_LEFTRIGHTARROW: &[&str] = &["harr", "leftrightarrow"];
|
||||
pub const G_BIGRIGHTARROW: &[&str] = &["rArr", "Rightarrow"];
|
||||
pub const G_BIGLEFTARROW: &[&str] = &["lArr", "Leftarrow"];
|
||||
pub const G_BIGLEFTRIGHTARROW: &[&str] = &["hArr", "Leftrightarrow"];
|
||||
|
||||
@ -1,36 +1,36 @@
|
||||
pub const G_ALPHA: &'static[&str] = &["alpha"];
|
||||
pub const G_BETA: &'static[&str] = &["beta"];
|
||||
pub const G_GAMMA: &'static[&str] = &["gamma"];
|
||||
pub const G_BIGGAMMA: &'static[&str] = &["Gamma"];
|
||||
pub const G_DELTA: &'static[&str] = &["delta"];
|
||||
pub const G_BIGDELTA: &'static[&str] = &["Delta"];
|
||||
pub const G_EPSILON: &'static[&str] = &["epsilon"];
|
||||
pub const G_VAREPSILON: &'static[&str] = &["varepsilon"];
|
||||
pub const G_ZETA: &'static[&str] = &["zeta"];
|
||||
pub const G_ETA: &'static[&str] = &["eta"];
|
||||
pub const G_THETA: &'static[&str] = &["theta"];
|
||||
pub const G_BIGTHETA: &'static[&str] = &["Theta"];
|
||||
pub const G_VARTHETA: &'static[&str] = &["vartheta"];
|
||||
pub const G_IOTA: &'static[&str] = &["iota"];
|
||||
pub const G_KAPPA: &'static[&str] = &["kappa"];
|
||||
pub const G_LAMBDA: &'static[&str] = &["lambda"];
|
||||
pub const G_BIGLAMBDA: &'static[&str] = &["Lambda"];
|
||||
pub const G_MU: &'static[&str] = &["mu"];
|
||||
pub const G_NU: &'static[&str] = &["nu"];
|
||||
pub const G_XI: &'static[&str] = &["xi"];
|
||||
pub const G_BIGXI: &'static[&str] = &["Xi"];
|
||||
pub const G_PI: &'static[&str] = &["pi"];
|
||||
pub const G_BIGPI: &'static[&str] = &["Pi"];
|
||||
pub const G_RHO: &'static[&str] = &["rho"];
|
||||
pub const G_SIGMA: &'static[&str] = &["sigma"];
|
||||
pub const G_BIGSIGMA: &'static[&str] = &["Sigma"];
|
||||
pub const G_TAU: &'static[&str] = &["tau"];
|
||||
pub const G_UPSILON: &'static[&str] = &["upsilon"];
|
||||
pub const G_PHI: &'static[&str] = &["phi"];
|
||||
pub const G_BIGPHI: &'static[&str] = &["Phi"];
|
||||
pub const G_VARPHI: &'static[&str] = &["varphi"];
|
||||
pub const G_CHI: &'static[&str] = &["chi"];
|
||||
pub const G_PSI: &'static[&str] = &["psi"];
|
||||
pub const G_BIGPSI: &'static[&str] = &["Psi"];
|
||||
pub const G_OMEGA: &'static[&str] = &["omega"];
|
||||
pub const G_BIGOMEGA: &'static[&str] = &["Omega"];
|
||||
pub const G_ALPHA: &[&str] = &["alpha"];
|
||||
pub const G_BETA: &[&str] = &["beta"];
|
||||
pub const G_GAMMA: &[&str] = &["gamma"];
|
||||
pub const G_BIGGAMMA: &[&str] = &["Gamma"];
|
||||
pub const G_DELTA: &[&str] = &["delta"];
|
||||
pub const G_BIGDELTA: &[&str] = &["Delta"];
|
||||
pub const G_EPSILON: &[&str] = &["epsilon"];
|
||||
pub const G_VAREPSILON: &[&str] = &["varepsilon"];
|
||||
pub const G_ZETA: &[&str] = &["zeta"];
|
||||
pub const G_ETA: &[&str] = &["eta"];
|
||||
pub const G_THETA: &[&str] = &["theta"];
|
||||
pub const G_BIGTHETA: &[&str] = &["Theta"];
|
||||
pub const G_VARTHETA: &[&str] = &["vartheta"];
|
||||
pub const G_IOTA: &[&str] = &["iota"];
|
||||
pub const G_KAPPA: &[&str] = &["kappa"];
|
||||
pub const G_LAMBDA: &[&str] = &["lambda"];
|
||||
pub const G_BIGLAMBDA: &[&str] = &["Lambda"];
|
||||
pub const G_MU: &[&str] = &["mu"];
|
||||
pub const G_NU: &[&str] = &["nu"];
|
||||
pub const G_XI: &[&str] = &["xi"];
|
||||
pub const G_BIGXI: &[&str] = &["Xi"];
|
||||
pub const G_PI: &[&str] = &["pi"];
|
||||
pub const G_BIGPI: &[&str] = &["Pi"];
|
||||
pub const G_RHO: &[&str] = &["rho"];
|
||||
pub const G_SIGMA: &[&str] = &["sigma"];
|
||||
pub const G_BIGSIGMA: &[&str] = &["Sigma"];
|
||||
pub const G_TAU: &[&str] = &["tau"];
|
||||
pub const G_UPSILON: &[&str] = &["upsilon"];
|
||||
pub const G_PHI: &[&str] = &["phi"];
|
||||
pub const G_BIGPHI: &[&str] = &["Phi"];
|
||||
pub const G_VARPHI: &[&str] = &["varphi"];
|
||||
pub const G_CHI: &[&str] = &["chi"];
|
||||
pub const G_PSI: &[&str] = &["psi"];
|
||||
pub const G_BIGPSI: &[&str] = &["Psi"];
|
||||
pub const G_OMEGA: &[&str] = &["omega"];
|
||||
pub const G_BIGOMEGA: &[&str] = &["Omega"];
|
||||
|
||||
@ -1,24 +1,24 @@
|
||||
pub const G_RPAREN: &'static [&str] = &["("];
|
||||
pub const G_LPAREN: &'static [&str] = &[")"];
|
||||
pub const G_RPAREN: &[&str] = &["("];
|
||||
pub const G_LPAREN: &[&str] = &[")"];
|
||||
|
||||
pub const G_RBRACKET: &'static [&str] = &["["];
|
||||
pub const G_LBRACKET: &'static [&str] = &["]"];
|
||||
pub const G_RBRACKET: &[&str] = &["["];
|
||||
pub const G_LBRACKET: &[&str] = &["]"];
|
||||
|
||||
pub const G_RBRACE: &'static [&str] = &["{"];
|
||||
pub const G_LBRACE: &'static [&str] = &["}"];
|
||||
pub const G_RBRACE: &[&str] = &["{"];
|
||||
pub const G_LBRACE: &[&str] = &["}"];
|
||||
|
||||
pub const G_RBRACE_HIDDEN: &'static [&str] = &["{:"];
|
||||
pub const G_LBRACE_HIDDEN: &'static [&str] = &[":}"];
|
||||
pub const G_RBRACE_HIDDEN: &[&str] = &["{:"];
|
||||
pub const G_LBRACE_HIDDEN: &[&str] = &[":}"];
|
||||
|
||||
pub const G_LANGLE: &'static [&str] = &["(:", "<<", "langle"];
|
||||
pub const G_RANGLE: &'static [&str] = &[":)", ">>", "rangle"];
|
||||
pub const G_LXPAR: &'static [&str] = &["{: x )"];
|
||||
pub const G_RXPAR: &'static [&str] = &["( x :}"];
|
||||
pub const G_ABS: &'static [&str] = &["abs"];
|
||||
pub const G_FLOOR: &'static [&str] = &["floor"];
|
||||
pub const G_CEIL: &'static [&str] = &["ceil"];
|
||||
pub const G_NORM: &'static [&str] = &["norm"];
|
||||
pub const G_LANGLE: &[&str] = &["(:", "<<", "langle"];
|
||||
pub const G_RANGLE: &[&str] = &[":)", ">>", "rangle"];
|
||||
pub const G_LXPAR: &[&str] = &["{: x )"];
|
||||
pub const G_RXPAR: &[&str] = &["( x :}"];
|
||||
pub const G_ABS: &[&str] = &["abs"];
|
||||
pub const G_FLOOR: &[&str] = &["floor"];
|
||||
pub const G_CEIL: &[&str] = &["ceil"];
|
||||
pub const G_NORM: &[&str] = &["norm"];
|
||||
|
||||
pub const G_MATRIX_SEP: &'static [&str] = &[","];
|
||||
pub const G_MATRIX_SEP: &[&str] = &[","];
|
||||
|
||||
pub const T_LPAREN: char = ')';
|
||||
|
||||
@ -1,12 +1,12 @@
|
||||
pub const G_AND: &'static[&str] = &["and"];
|
||||
pub const G_OR: &'static[&str] = &["or"];
|
||||
pub const G_NOT: &'static[&str] = &["not", "neg"];
|
||||
pub const G_IMPLIES: &'static[&str] = &["=>", "implies"];
|
||||
pub const G_IF: &'static[&str] = &["if"];
|
||||
pub const G_IFF: &'static[&str] = &["<=>", "iff"];
|
||||
pub const G_FORALL: &'static[&str] = &["AA", "forall"];
|
||||
pub const G_EXISTS: &'static[&str] = &["EE", "exists"];
|
||||
pub const G_BOT: &'static[&str] = &["_|_", "bot"];
|
||||
pub const G_TOP: &'static[&str] = &["TT", "top"];
|
||||
pub const G_VDASH: &'static[&str] = &["|--", "vdash"];
|
||||
pub const G_MODELS: &'static[&str] = &["|==", "models"];
|
||||
pub const G_AND: &[&str] = &["and"];
|
||||
pub const G_OR: &[&str] = &["or"];
|
||||
pub const G_NOT: &[&str] = &["not", "neg"];
|
||||
pub const G_IMPLIES: &[&str] = &["=>", "implies"];
|
||||
pub const G_IF: &[&str] = &["if"];
|
||||
pub const G_IFF: &[&str] = &["<=>", "iff"];
|
||||
pub const G_FORALL: &[&str] = &["AA", "forall"];
|
||||
pub const G_EXISTS: &[&str] = &["EE", "exists"];
|
||||
pub const G_BOT: &[&str] = &["_|_", "bot"];
|
||||
pub const G_TOP: &[&str] = &["TT", "top"];
|
||||
pub const G_VDASH: &[&str] = &["|--", "vdash"];
|
||||
pub const G_MODELS: &[&str] = &["|==", "models"];
|
||||
|
||||
@ -1,46 +1,46 @@
|
||||
pub const G_A_FRAC: &'static [&str] = &["/"];
|
||||
pub const G_T_FRAC: &'static [&str] = &["frac"];
|
||||
pub const G_A_FRAC: &[&str] = &["/"];
|
||||
pub const G_T_FRAC: &[&str] = &["frac"];
|
||||
|
||||
pub const G_SUB: &'static [&str] = &["_"];
|
||||
pub const G_POW: &'static [&str] = &["^"];
|
||||
pub const G_SQRT: &'static [&str] = &["sqrt"];
|
||||
pub const G_ROOT: &'static [&str] = &["root"];
|
||||
pub const G_INT: &'static [&str] = &["int"];
|
||||
pub const G_OINT: &'static [&str] = &["oint"];
|
||||
pub const G_DEL: &'static [&str] = &["del", "partial"];
|
||||
pub const G_GRAD: &'static [&str] = &["grad", "nbla"];
|
||||
pub const G_PM: &'static [&str] = &["+-", "pm"];
|
||||
pub const G_EMPTYSET: &'static [&str] = &["O/", "emptyset"];
|
||||
pub const G_INFTY: &'static [&str] = &["oo", "infty"];
|
||||
pub const G_ALEPH: &'static [&str] = &["aleph"];
|
||||
pub const G_THEREFORE: &'static [&str] = &[":.", "therefore"];
|
||||
pub const G_BECAUSE: &'static [&str] = &[":'", "because"];
|
||||
pub const G_ELDOTS: &'static [&str] = &["|...|", "|ldots|"];
|
||||
pub const G_ECDOTS: &'static [&str] = &["|cdots|"];
|
||||
pub const G_VDOTS: &'static [&str] = &["vdots"];
|
||||
pub const G_DDOTS: &'static [&str] = &["ddots"];
|
||||
pub const G_EPIPES: &'static [&str] = &["|\\ |"];
|
||||
pub const G_QUAD: &'static [&str] = &["|quad|"];
|
||||
pub const G_ANGLE: &'static [&str] = &["/_", "angle"];
|
||||
pub const G_FROWN: &'static [&str] = &["frown"];
|
||||
pub const G_TRIANGLE: &'static [&str] = &["/_\\", "triangle"];
|
||||
pub const G_DIAMOND: &'static [&str] = &["diamond"];
|
||||
pub const G_SQUARE: &'static [&str] = &["square"];
|
||||
pub const G_LFLOOR: &'static [&str] = &["|__", "lfloor"];
|
||||
pub const G_RFLOOR: &'static [&str] = &["__|", "rfloor"];
|
||||
pub const G_LCEILING: &'static [&str] = &["|~", "lceiling"];
|
||||
pub const G_RCEILING: &'static [&str] = &["~|", "rceiling"];
|
||||
pub const G_SUB: &[&str] = &["_"];
|
||||
pub const G_POW: &[&str] = &["^"];
|
||||
pub const G_SQRT: &[&str] = &["sqrt"];
|
||||
pub const G_ROOT: &[&str] = &["root"];
|
||||
pub const G_INT: &[&str] = &["int"];
|
||||
pub const G_OINT: &[&str] = &["oint"];
|
||||
pub const G_DEL: &[&str] = &["del", "partial"];
|
||||
pub const G_GRAD: &[&str] = &["grad", "nbla"];
|
||||
pub const G_PM: &[&str] = &["+-", "pm"];
|
||||
pub const G_EMPTYSET: &[&str] = &["O/", "emptyset"];
|
||||
pub const G_INFTY: &[&str] = &["oo", "infty"];
|
||||
pub const G_ALEPH: &[&str] = &["aleph"];
|
||||
pub const G_THEREFORE: &[&str] = &[":.", "therefore"];
|
||||
pub const G_BECAUSE: &[&str] = &[":'", "because"];
|
||||
pub const G_ELDOTS: &[&str] = &["|...|", "|ldots|"];
|
||||
pub const G_ECDOTS: &[&str] = &["|cdots|"];
|
||||
pub const G_VDOTS: &[&str] = &["vdots"];
|
||||
pub const G_DDOTS: &[&str] = &["ddots"];
|
||||
pub const G_EPIPES: &[&str] = &["|\\ |"];
|
||||
pub const G_QUAD: &[&str] = &["|quad|"];
|
||||
pub const G_ANGLE: &[&str] = &["/_", "angle"];
|
||||
pub const G_FROWN: &[&str] = &["frown"];
|
||||
pub const G_TRIANGLE: &[&str] = &["/_\\", "triangle"];
|
||||
pub const G_DIAMOND: &[&str] = &["diamond"];
|
||||
pub const G_SQUARE: &[&str] = &["square"];
|
||||
pub const G_LFLOOR: &[&str] = &["|__", "lfloor"];
|
||||
pub const G_RFLOOR: &[&str] = &["__|", "rfloor"];
|
||||
pub const G_LCEILING: &[&str] = &["|~", "lceiling"];
|
||||
pub const G_RCEILING: &[&str] = &["~|", "rceiling"];
|
||||
|
||||
pub const G_COMPLEX: &'static [&str] = &["CC"];
|
||||
pub const G_NATURAL: &'static [&str] = &["NN"];
|
||||
pub const G_RATIONAL: &'static [&str] = &["QQ"];
|
||||
pub const G_REAL: &'static [&str] = &["RR"];
|
||||
pub const G_INTEGER: &'static [&str] = &["ZZ"];
|
||||
pub const G_COMPLEX: &[&str] = &["CC"];
|
||||
pub const G_NATURAL: &[&str] = &["NN"];
|
||||
pub const G_RATIONAL: &[&str] = &["QQ"];
|
||||
pub const G_REAL: &[&str] = &["RR"];
|
||||
pub const G_INTEGER: &[&str] = &["ZZ"];
|
||||
|
||||
pub const A_TEXT: char = '"';
|
||||
pub const G_T_TEX: &'static [&str] = &["text"];
|
||||
pub const G_T_TEX: &[&str] = &["text"];
|
||||
pub const A_NUMCOMMA: char = '.';
|
||||
pub const A_SCIEXP: char = 'e';
|
||||
pub const G_NEWLINE: &'static [&str] = &["\\\n"];
|
||||
pub const G_NEWLINE: &[&str] = &["\\\n"];
|
||||
|
||||
pub const G_NUMALLOWED: &'static [char] = &[A_NUMCOMMA, A_SCIEXP];
|
||||
pub const G_NUMALLOWED: &[char] = &[A_NUMCOMMA, A_SCIEXP];
|
||||
|
||||
@ -1,26 +1,26 @@
|
||||
pub const G_PLUS: &'static [&str] = &["+"];
|
||||
pub const G_MINUS: &'static [&str] = &["-"];
|
||||
pub const G_CDOT: &'static [&str] = &["*", "cdot"];
|
||||
pub const G_AST: &'static [&str] = &["**", "ast"];
|
||||
pub const G_STAR: &'static [&str] = &["***", "star"];
|
||||
pub const G_SLASH: &'static [&str] = &["//"];
|
||||
pub const G_BACKSLASH: &'static [&str] = &["\\\\", "backslash", "setminus"];
|
||||
pub const G_TIMES: &'static [&str] = &["xx", "times"];
|
||||
pub const G_DIV: &'static [&str] = &["-:", "div"];
|
||||
pub const G_LTIMES: &'static [&str] = &["|><", "ltimes"];
|
||||
pub const G_RTIMES: &'static [&str] = &["><|", "rtimes"];
|
||||
pub const G_BOWTIE: &'static [&str] = &["|><|", "bowtie"];
|
||||
pub const G_CIRC: &'static [&str] = &["@", "circ"];
|
||||
pub const G_OPLUS: &'static [&str] = &["o+", "oplus"];
|
||||
pub const G_OTIMES: &'static [&str] = &["ox", "otimes"];
|
||||
pub const G_ODOT: &'static [&str] = &["o.", "odot"];
|
||||
pub const G_SUM: &'static [&str] = &["sum"];
|
||||
pub const G_PROD: &'static [&str] = &["prod"];
|
||||
pub const G_WEDGE: &'static [&str] = &["^^", "wedge"];
|
||||
pub const G_BIDWEDGE: &'static [&str] = &["^^^", "bidwedge"];
|
||||
pub const G_VEE: &'static [&str] = &["vv", "vee"];
|
||||
pub const G_BIGVEE: &'static [&str] = &["vvv", "bigvee"];
|
||||
pub const G_CAP: &'static [&str] = &["nn", "cap"];
|
||||
pub const G_BIGCAP: &'static [&str] = &["nnn", "bigcap"];
|
||||
pub const G_CUP: &'static [&str] = &["uu", "cup"];
|
||||
pub const G_BIGCUP: &'static [&str] = &["uuu", "bigcup"];
|
||||
pub const G_PLUS: &[&str] = &["+"];
|
||||
pub const G_MINUS: &[&str] = &["-"];
|
||||
pub const G_CDOT: &[&str] = &["*", "cdot"];
|
||||
pub const G_AST: &[&str] = &["**", "ast"];
|
||||
pub const G_STAR: &[&str] = &["***", "star"];
|
||||
pub const G_SLASH: &[&str] = &["//"];
|
||||
pub const G_BACKSLASH: &[&str] = &["\\\\", "backslash", "setminus"];
|
||||
pub const G_TIMES: &[&str] = &["xx", "times"];
|
||||
pub const G_DIV: &[&str] = &["-:", "div"];
|
||||
pub const G_LTIMES: &[&str] = &["|><", "ltimes"];
|
||||
pub const G_RTIMES: &[&str] = &["><|", "rtimes"];
|
||||
pub const G_BOWTIE: &[&str] = &["|><|", "bowtie"];
|
||||
pub const G_CIRC: &[&str] = &["@", "circ"];
|
||||
pub const G_OPLUS: &[&str] = &["o+", "oplus"];
|
||||
pub const G_OTIMES: &[&str] = &["ox", "otimes"];
|
||||
pub const G_ODOT: &[&str] = &["o.", "odot"];
|
||||
pub const G_SUM: &[&str] = &["sum"];
|
||||
pub const G_PROD: &[&str] = &["prod"];
|
||||
pub const G_WEDGE: &[&str] = &["^^", "wedge"];
|
||||
pub const G_BIDWEDGE: &[&str] = &["^^^", "bidwedge"];
|
||||
pub const G_VEE: &[&str] = &["vv", "vee"];
|
||||
pub const G_BIGVEE: &[&str] = &["vvv", "bigvee"];
|
||||
pub const G_CAP: &[&str] = &["nn", "cap"];
|
||||
pub const G_BIGCAP: &[&str] = &["nnn", "bigcap"];
|
||||
pub const G_CUP: &[&str] = &["uu", "cup"];
|
||||
pub const G_BIGCUP: &[&str] = &["uuu", "bigcup"];
|
||||
|
||||
@ -1,20 +1,20 @@
|
||||
pub const G_EQ: &'static[&str] = &["="];
|
||||
pub const G_NE: &'static[&str] = &["!=", "ne"];
|
||||
pub const G_LT: &'static[&str] = &["<", "lt"];
|
||||
pub const G_GT: &'static[&str] = &[">", "gt"];
|
||||
pub const G_LE: &'static[&str] = &["<=", "le"];
|
||||
pub const G_GE: &'static[&str] = &[">=", "ge"];
|
||||
pub const G_PREC: &'static[&str] = &["-<", "prec"];
|
||||
pub const G_PRECEQ: &'static[&str] = &["-<=", "preceq"];
|
||||
pub const G_SUCC: &'static[&str] = &[">-", "succ"];
|
||||
pub const G_SUCCEQ: &'static[&str] = &[">-=", "succeq"];
|
||||
pub const G_IN: &'static[&str] = &["in"];
|
||||
pub const G_NOTIN: &'static[&str] = &["!in", "notin"];
|
||||
pub const G_SUBSET: &'static[&str] = &["sub", "subset"];
|
||||
pub const G_SUPSET: &'static[&str] = &["sup", "supset"];
|
||||
pub const G_SUBSETEQ: &'static[&str] = &["sube", "subseteq"];
|
||||
pub const G_SUPSETEQ: &'static[&str] = &["supe", "supseteq"];
|
||||
pub const G_EQUIV: &'static[&str] = &["-=", "equiv"];
|
||||
pub const G_CONG: &'static[&str] = &["~=", "cong"];
|
||||
pub const G_APPROX: &'static[&str] = &["~~", "approx"];
|
||||
pub const G_PROP: &'static[&str] = &["prop", "propto"];
|
||||
pub const G_EQ: &[&str] = &["="];
|
||||
pub const G_NE: &[&str] = &["!=", "ne"];
|
||||
pub const G_LT: &[&str] = &["<", "lt"];
|
||||
pub const G_GT: &[&str] = &[">", "gt"];
|
||||
pub const G_LE: &[&str] = &["<=", "le"];
|
||||
pub const G_GE: &[&str] = &[">=", "ge"];
|
||||
pub const G_PREC: &[&str] = &["-<", "prec"];
|
||||
pub const G_PRECEQ: &[&str] = &["-<=", "preceq"];
|
||||
pub const G_SUCC: &[&str] = &[">-", "succ"];
|
||||
pub const G_SUCCEQ: &[&str] = &[">-=", "succeq"];
|
||||
pub const G_IN: &[&str] = &["in"];
|
||||
pub const G_NOTIN: &[&str] = &["!in", "notin"];
|
||||
pub const G_SUBSET: &[&str] = &["sub", "subset"];
|
||||
pub const G_SUPSET: &[&str] = &["sup", "supset"];
|
||||
pub const G_SUBSETEQ: &[&str] = &["sube", "subseteq"];
|
||||
pub const G_SUPSETEQ: &[&str] = &["supe", "supseteq"];
|
||||
pub const G_EQUIV: &[&str] = &["-=", "equiv"];
|
||||
pub const G_CONG: &[&str] = &["~=", "cong"];
|
||||
pub const G_APPROX: &[&str] = &["~~", "approx"];
|
||||
pub const G_PROP: &[&str] = &["prop", "propto"];
|
||||
|
||||
Loading…
Reference in New Issue