You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
13 lines
556 B
Rust
13 lines
556 B
Rust
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"];
|