Add token enums

src/tokens/mod.rs

@@ -1 +1,198 @@
-pub mod constants;
+pub mod constants;
+
+pub enum Operation {
+    Plus,
+    Minus,
+    CDot,
+    Ast,
+    Star,
+    Slash,
+    Backslash,
+    Times,
+    Div,
+    LTimes,
+    RTimes,
+    Bowtie,
+    Circ,
+    OPlus,
+    OTimes,
+    ODot,
+    Sum,
+    Prod,
+    Wedge,
+    BidWedge,
+    Vee,
+    BigVee,
+    Cap,
+    BigCap,
+    Cup,
+    BigCup,
+}
+
+pub enum Misc {
+    Frac,
+    Pow,
+    Sqrt,
+    Root,
+    Int,
+    OInt,
+    Del,
+    Grad,
+    PlusMinus,
+    EmptySet,
+    Infty,
+    Aleph,
+    Therefore,
+    Because,
+    PLDots,
+    PCDots,
+    VDots,
+    DDots,
+    EPipes,
+    EQuad,
+    Angle,
+    Frown,
+    Triangle,
+    Diamond,
+    Square,
+    LFloor,
+    RFloor,
+    RCeiling,
+    Complex,
+    Natural,
+    Rational,
+    Real,
+    Integer,
+    Text,
+}
+
+pub enum Relation {
+    Eq,
+    Ne,
+    Lt,
+    Gt,
+    Le,
+    Ge,
+    Prec,
+    PrecEq,
+    Succ,
+    SuccEq,
+    In,
+    NotIn,
+    SubSet,
+    SupSet,
+    SubSetEq,
+    SupSetEq,
+    Equiv,
+    Cong,
+    Approx,
+    PropTo,
+}
+
+pub enum Logical {
+    And,
+    Or,
+    Not,
+    Implies,
+    If,
+    ForAll,
+    Exists,
+    Bot,
+    Top,
+    VDash,
+    Models,
+}
+
+pub enum Grouping {
+    RParen,
+    LParen,
+    RBrace,
+    LBrace,
+    RCurl,
+    LCurl,
+    LAngle,
+    RAngle,
+    LXPar,
+    RXPar,
+    Abs,
+    Floor,
+    Ceil,
+    Norm,
+}
+
+pub enum Arrows {
+    UpArrow,
+    DownArrow,
+    RightArrow,
+    To,
+    RightArrowTail,
+    TwoHeadRightArrow,
+    TwoHeadRightArrowTail,
+    MapsTo,
+    LeftArrow,
+    LeftRightArrow,
+    BigRightArrow,
+    BigLeftArrow,
+    BigLeftRightArrow,
+}
+
+pub enum Accents {
+    Hat,
+    Overline,
+    Underline,
+    Vec,
+    Dot,
+    DDot,
+    OverSet,
+    UnderSet,
+    UnderBrace,
+    OverBrace,
+    Color,
+    Cancel,
+}
+
+pub enum Greek {
+    Alpha,
+    Beta,
+    Gamma,
+    BigGamma,
+    Delta,
+    BigDelta,
+    Epsilon,
+    VarEpsilon,
+    Zeta,
+    Eta,
+    Theta,
+    BigTheta,
+    VarTheta,
+    Iota,
+    Kappa,
+    Lambda,
+    BigLambda,
+    Mu,
+    Nu,
+    Xi,
+    BigXi,
+    Pi,
+    BigPi,
+    Rho,
+    Sigma,
+    BigSigma,
+    Tau,
+    Upsilon,
+    Phi,
+    BigPhi,
+    VarPhi,
+    Chi,
+    Psi,
+    Omega,
+}
+
+pub enum FontCommand {
+    Big,
+    BigOutline,
+    Cursive,
+    TText,
+    Fr,
+    SansSerif,
+}