1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 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"];