Add grouping and arrows

src/tokens/constants/arrows.rs

@@ -0,0 +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"];

src/tokens/constants/grouping.rs

@@ -0,0 +1,17 @@
+pub const A_RPAREN: char = '(';
+pub const A_LPAREN: char = ')';
+
+pub const A_RBRAC: char = '[';
+pub const A_LBRAC: char = ']';
+
+pub const A_RCURL: char = '{';
+pub const A_LCURL: char = '}';
+
+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"];

src/tokens/constants/mod.rs

@@ -1,4 +1,6 @@
 pub mod operations;
 pub mod misc;
 pub mod relation;
-pub mod logical;
+pub mod logical;
+pub mod grouping;
+pub mod arrows;