Add accent symbols

src/tokens/constants/accents.rs

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

src/tokens/constants/mod.rs

@@ -3,4 +3,5 @@ pub mod misc;
 pub mod relation;
 pub mod logical;
 pub mod grouping;
-pub mod arrows;
+pub mod arrows;
+pub mod accents;