Skip to documentation
SLOP

tiny.termtex.symbol

Reference tiny.termtex symbol

Defined in tiny.termtex.

API (3)

Actions

Public operations.

No direct callersNo direct callstiny.termtexsymbol
Static calls · unresolved targets: unknown · external targets: unknown.

Source

Called byCallsNo direct callsprivate sourcelib.termtex.src.parse.ParserparseCommandprivate sourcelib.termtex.src.parse.ParserparseDelimiterValuesymbolcommand
Static calls · unresolved targets: 0 · external targets: 0.
Called byCallsNo direct callsprivate sourcelib.termtex.src.parse.ParserparseCommandsymbolfunction
Static calls · unresolved targets: 0 · external targets: 0.
Called byCallsNo direct callsprivate sourcelib.termtex.src.parse.ParsermakeNotsymbolnegated
Static calls · unresolved targets: 0 · external targets: 0.

Source: lib/termtex/src/root.zig:17

zig
pub const symbol = @import("symbol.zig");

Source: lib/termtex/src/symbol.zig

zig
const std = @import("std");pub fn command(name: []const u8) ?[]const u8 {    inline for (entries) |entry| {        if (std.mem.eql(u8, name, entry.name)) return entry.value;    }    return null;}pub fn function(name: []const u8) ?[]const u8 {    inline for (functions) |entry| {        if (std.mem.eql(u8, name, entry)) return entry;    }    return null;}pub fn negated(value: []const u8) ?[]const u8 {    inline for (negations) |entry| {        if (std.mem.eql(u8, value, entry.name)) return entry.value;    }    return null;}const Entry = struct {    name: []const u8,    value: []const u8,};const functions = [_][]const u8{    "arccos",    "arcsin",    "arctan",    "arg",    "argmax",    "argmin",    "cos",    "cosh",    "cod",    "cot",    "coth",    "csc",    "deg",    "det",    "diag",    "dim",    "dom",    "exp",    "gcd",    "hom",    "inf",    "ker",    "lg",    "lim",    "liminf",    "limsup",    "ln",    "log",    "max",    "min",    "Pr",    "rank",    "sec",    "sin",    "sinh",    "span",    "sup",    "tan",    "tanh",    "tr",};const entries = [_]Entry{    .{ .name = "Alpha", .value = "Α" },    .{ .name = "Beta", .value = "Β" },    .{ .name = "Gamma", .value = "Γ" },    .{ .name = "Delta", .value = "Δ" },    .{ .name = "Epsilon", .value = "Ε" },    .{ .name = "Zeta", .value = "Ζ" },    .{ .name = "Eta", .value = "Η" },    .{ .name = "Theta", .value = "Θ" },    .{ .name = "Iota", .value = "Ι" },    .{ .name = "Kappa", .value = "Κ" },    .{ .name = "Lambda", .value = "Λ" },    .{ .name = "Mu", .value = "Μ" },    .{ .name = "Nu", .value = "Ν" },    .{ .name = "Xi", .value = "Ξ" },    .{ .name = "Omicron", .value = "Ο" },    .{ .name = "Pi", .value = "Π" },    .{ .name = "Rho", .value = "Ρ" },    .{ .name = "Sigma", .value = "Σ" },    .{ .name = "Tau", .value = "Τ" },    .{ .name = "Upsilon", .value = "Υ" },    .{ .name = "Phi", .value = "Φ" },    .{ .name = "Chi", .value = "Χ" },    .{ .name = "Psi", .value = "Ψ" },    .{ .name = "Omega", .value = "Ω" },    .{ .name = "alpha", .value = "α" },    .{ .name = "beta", .value = "β" },    .{ .name = "gamma", .value = "γ" },    .{ .name = "delta", .value = "δ" },    .{ .name = "epsilon", .value = "ε" },    .{ .name = "varepsilon", .value = "ϵ" },    .{ .name = "zeta", .value = "ζ" },    .{ .name = "eta", .value = "η" },    .{ .name = "theta", .value = "θ" },    .{ .name = "vartheta", .value = "ϑ" },    .{ .name = "iota", .value = "ι" },    .{ .name = "kappa", .value = "κ" },    .{ .name = "lambda", .value = "λ" },    .{ .name = "mu", .value = "μ" },    .{ .name = "nu", .value = "ν" },    .{ .name = "xi", .value = "ξ" },    .{ .name = "pi", .value = "π" },    .{ .name = "varpi", .value = "ϖ" },    .{ .name = "rho", .value = "ρ" },    .{ .name = "varrho", .value = "ϱ" },    .{ .name = "sigma", .value = "σ" },    .{ .name = "varsigma", .value = "ς" },    .{ .name = "tau", .value = "τ" },    .{ .name = "upsilon", .value = "υ" },    .{ .name = "phi", .value = "φ" },    .{ .name = "varphi", .value = "ϕ" },    .{ .name = "chi", .value = "χ" },    .{ .name = "psi", .value = "ψ" },    .{ .name = "omega", .value = "ω" },    .{ .name = "pm", .value = "±" },    .{ .name = "mp", .value = "∓" },    .{ .name = "times", .value = "×" },    .{ .name = "div", .value = "÷" },    .{ .name = "cdot", .value = "·" },    .{ .name = "cdots", .value = "⋯" },    .{ .name = "ldots", .value = "…" },    .{ .name = "dots", .value = "…" },    .{ .name = "vdots", .value = "⋮" },    .{ .name = "ddots", .value = "⋱" },    .{ .name = "colon", .value = ":" },    .{ .name = "ldotp", .value = "." },    .{ .name = "cdotp", .value = "·" },    .{ .name = "backslash", .value = "∖" },    .{ .name = "ast", .value = "∗" },    .{ .name = "star", .value = "⋆" },    .{ .name = "diamond", .value = "⋄" },    .{ .name = "bigstar", .value = "★" },    .{ .name = "dagger", .value = "†" },    .{ .name = "ddagger", .value = "‡" },    .{ .name = "circ", .value = "∘" },    .{ .name = "bigcirc", .value = "○" },    .{ .name = "bullet", .value = "•" },    .{ .name = "amalg", .value = "⨿" },    .{ .name = "oplus", .value = "⊕" },    .{ .name = "ominus", .value = "⊖" },    .{ .name = "otimes", .value = "⊗" },    .{ .name = "oslash", .value = "⊘" },    .{ .name = "odot", .value = "⊙" },    .{ .name = "circledast", .value = "⊛" },    .{ .name = "circledcirc", .value = "⊚" },    .{ .name = "circleddash", .value = "⊝" },    .{ .name = "boxplus", .value = "⊞" },    .{ .name = "boxminus", .value = "⊟" },    .{ .name = "boxtimes", .value = "⊠" },    .{ .name = "sqcup", .value = "⊔" },    .{ .name = "sqcap", .value = "⊓" },    .{ .name = "wr", .value = "≀" },    .{ .name = "uplus", .value = "⊎" },    .{ .name = "le", .value = "≤" },    .{ .name = "leq", .value = "≤" },    .{ .name = "leqslant", .value = "≤" },    .{ .name = "nleq", .value = "≰" },    .{ .name = "nle", .value = "≰" },    .{ .name = "lesssim", .value = "≲" },    .{ .name = "lessapprox", .value = "⪅" },    .{ .name = "ll", .value = "≪" },    .{ .name = "lll", .value = "⋘" },    .{ .name = "llless", .value = "⋘" },    .{ .name = "ge", .value = "≥" },    .{ .name = "geq", .value = "≥" },    .{ .name = "geqslant", .value = "≥" },    .{ .name = "ngeq", .value = "≱" },    .{ .name = "nge", .value = "≱" },    .{ .name = "gtrsim", .value = "≳" },    .{ .name = "gtrapprox", .value = "⪆" },    .{ .name = "gg", .value = "≫" },    .{ .name = "ggg", .value = "⋙" },    .{ .name = "gggtr", .value = "⋙" },    .{ .name = "lt", .value = "<" },    .{ .name = "gt", .value = ">" },    .{ .name = "neq", .value = "≠" },    .{ .name = "ne", .value = "≠" },    .{ .name = "doteq", .value = "≐" },    .{ .name = "triangleq", .value = "≜" },    .{ .name = "coloneqq", .value = "≔" },    .{ .name = "eqqcolon", .value = "≕" },    .{ .name = "equiv", .value = "≡" },    .{ .name = "nequiv", .value = "≢" },    .{ .name = "approx", .value = "≈" },    .{ .name = "asymp", .value = "≍" },    .{ .name = "sim", .value = "∼" },    .{ .name = "nsim", .value = "≁" },    .{ .name = "simeq", .value = "≃" },    .{ .name = "precsim", .value = "≾" },    .{ .name = "succsim", .value = "≿" },    .{ .name = "cong", .value = "≅" },    .{ .name = "ncong", .value = "≇" },    .{ .name = "propto", .value = "∝" },    .{ .name = "prec", .value = "≺" },    .{ .name = "succ", .value = "≻" },    .{ .name = "preceq", .value = "≼" },    .{ .name = "succeq", .value = "≽" },    .{ .name = "preccurlyeq", .value = "≼" },    .{ .name = "succcurlyeq", .value = "≽" },    .{ .name = "perp", .value = "⊥" },    .{ .name = "bowtie", .value = "⋈" },    .{ .name = "in", .value = "∈" },    .{ .name = "notin", .value = "∉" },    .{ .name = "ni", .value = "∋" },    .{ .name = "owns", .value = "∋" },    .{ .name = "subset", .value = "⊂" },    .{ .name = "supset", .value = "⊃" },    .{ .name = "subseteq", .value = "⊆" },    .{ .name = "supseteq", .value = "⊇" },    .{ .name = "nsubseteq", .value = "⊈" },    .{ .name = "nsupseteq", .value = "⊉" },    .{ .name = "subsetneq", .value = "⊊" },    .{ .name = "supsetneq", .value = "⊋" },    .{ .name = "sqsubset", .value = "⊏" },    .{ .name = "sqsupset", .value = "⊐" },    .{ .name = "sqsubseteq", .value = "⊑" },    .{ .name = "sqsupseteq", .value = "⊒" },    .{ .name = "cup", .value = "∪" },    .{ .name = "cap", .value = "∩" },    .{ .name = "bigcup", .value = "⋃" },    .{ .name = "bigcap", .value = "⋂" },    .{ .name = "setminus", .value = "∖" },    .{ .name = "smallsetminus", .value = "∖" },    .{ .name = "emptyset", .value = "∅" },    .{ .name = "varnothing", .value = "∅" },    .{ .name = "forall", .value = "∀" },    .{ .name = "exists", .value = "∃" },    .{ .name = "nexists", .value = "∄" },    .{ .name = "nabla", .value = "∇" },    .{ .name = "partial", .value = "∂" },    .{ .name = "infty", .value = "∞" },    .{ .name = "ell", .value = "ℓ" },    .{ .name = "wp", .value = "℘" },    .{ .name = "Re", .value = "ℜ" },    .{ .name = "Im", .value = "ℑ" },    .{ .name = "aleph", .value = "ℵ" },    .{ .name = "beth", .value = "ℶ" },    .{ .name = "gimel", .value = "ℷ" },    .{ .name = "daleth", .value = "ℸ" },    .{ .name = "hbar", .value = "ℏ" },    .{ .name = "hslash", .value = "ℏ" },    .{ .name = "imath", .value = "ı" },    .{ .name = "jmath", .value = "ȷ" },    .{ .name = "prime", .value = "′" },    .{ .name = "dprime", .value = "″" },    .{ .name = "therefore", .value = "∴" },    .{ .name = "because", .value = "∵" },    .{ .name = "angle", .value = "∠" },    .{ .name = "degree", .value = "°" },    .{ .name = "to", .value = "→" },    .{ .name = "rightarrow", .value = "→" },    .{ .name = "longrightarrow", .value = "⟶" },    .{ .name = "gets", .value = "←" },    .{ .name = "leftarrow", .value = "←" },    .{ .name = "longleftarrow", .value = "⟵" },    .{ .name = "leftrightarrow", .value = "↔" },    .{ .name = "longleftrightarrow", .value = "⟷" },    .{ .name = "Rightarrow", .value = "⇒" },    .{ .name = "Longrightarrow", .value = "⟹" },    .{ .name = "Leftarrow", .value = "⇐" },    .{ .name = "Longleftarrow", .value = "⟸" },    .{ .name = "Leftrightarrow", .value = "⇔" },    .{ .name = "Longleftrightarrow", .value = "⟺" },    .{ .name = "iff", .value = "⇔" },    .{ .name = "implies", .value = "⇒" },    .{ .name = "impliedby", .value = "⇐" },    .{ .name = "mapsto", .value = "↦" },    .{ .name = "longmapsto", .value = "⟼" },    .{ .name = "multimap", .value = "⊸" },    .{ .name = "hookrightarrow", .value = "↪" },    .{ .name = "hookleftarrow", .value = "↩" },    .{ .name = "twoheadrightarrow", .value = "↠" },    .{ .name = "twoheadleftarrow", .value = "↞" },    .{ .name = "rightarrowtail", .value = "↣" },    .{ .name = "leftarrowtail", .value = "↢" },    .{ .name = "leadsto", .value = "↝" },    .{ .name = "rightsquigarrow", .value = "⇝" },    .{ .name = "rightharpoonup", .value = "⇀" },    .{ .name = "rightharpoondown", .value = "⇁" },    .{ .name = "leftharpoonup", .value = "↼" },    .{ .name = "leftharpoondown", .value = "↽" },    .{ .name = "rightleftharpoons", .value = "⇌" },    .{ .name = "uparrow", .value = "↑" },    .{ .name = "downarrow", .value = "↓" },    .{ .name = "updownarrow", .value = "↕" },    .{ .name = "Uparrow", .value = "⇑" },    .{ .name = "Downarrow", .value = "⇓" },    .{ .name = "Updownarrow", .value = "⇕" },    .{ .name = "nRightarrow", .value = "⇏" },    .{ .name = "nLeftarrow", .value = "⇍" },    .{ .name = "nLeftrightarrow", .value = "⇎" },    .{ .name = "nearrow", .value = "↗" },    .{ .name = "searrow", .value = "↘" },    .{ .name = "swarrow", .value = "↙" },    .{ .name = "nwarrow", .value = "↖" },    .{ .name = "sum", .value = "∑" },    .{ .name = "bigoplus", .value = "⨁" },    .{ .name = "bigotimes", .value = "⨂" },    .{ .name = "bigodot", .value = "⨀" },    .{ .name = "prod", .value = "∏" },    .{ .name = "coprod", .value = "∐" },    .{ .name = "int", .value = "∫" },    .{ .name = "iint", .value = "∬" },    .{ .name = "iiint", .value = "∭" },    .{ .name = "oint", .value = "∮" },    .{ .name = "land", .value = "∧" },    .{ .name = "lor", .value = "∨" },    .{ .name = "neg", .value = "¬" },    .{ .name = "lnot", .value = "¬" },    .{ .name = "wedge", .value = "∧" },    .{ .name = "vee", .value = "∨" },    .{ .name = "bigwedge", .value = "⋀" },    .{ .name = "bigvee", .value = "⋁" },    .{ .name = "bot", .value = "⊥" },    .{ .name = "top", .value = "⊤" },    .{ .name = "bigtriangleup", .value = "△" },    .{ .name = "bigtriangledown", .value = "▽" },    .{ .name = "triangleleft", .value = "◁" },    .{ .name = "triangleright", .value = "▷" },    .{ .name = "vartriangleleft", .value = "⊲" },    .{ .name = "vartriangleright", .value = "⊳" },    .{ .name = "trianglelefteq", .value = "⊴" },    .{ .name = "trianglerighteq", .value = "⊵" },    .{ .name = "unlhd", .value = "⊴" },    .{ .name = "unrhd", .value = "⊵" },    .{ .name = "vdash", .value = "⊢" },    .{ .name = "Vdash", .value = "⊩" },    .{ .name = "vDash", .value = "⊨" },    .{ .name = "Vvdash", .value = "⊪" },    .{ .name = "dashv", .value = "⊣" },    .{ .name = "models", .value = "⊨" },    .{ .name = "nvdash", .value = "⊬" },    .{ .name = "nvDash", .value = "⊭" },    .{ .name = "nVdash", .value = "⊮" },    .{ .name = "nVDash", .value = "⊯" },    .{ .name = "parallel", .value = "∥" },    .{ .name = "nparallel", .value = "∦" },    .{ .name = "mid", .value = "∣" },    .{ .name = "nmid", .value = "∤" },    .{ .name = "vert", .value = "|" },    .{ .name = "Vert", .value = "‖" },    .{ .name = "lvert", .value = "|" },    .{ .name = "rvert", .value = "|" },    .{ .name = "lVert", .value = "‖" },    .{ .name = "rVert", .value = "‖" },    .{ .name = "lparen", .value = "(" },    .{ .name = "rparen", .value = ")" },    .{ .name = "lbrack", .value = "[" },    .{ .name = "rbrack", .value = "]" },    .{ .name = "lbrace", .value = "{" },    .{ .name = "rbrace", .value = "}" },    .{ .name = "langle", .value = "⟨" },    .{ .name = "rangle", .value = "⟩" },    .{ .name = "llangle", .value = "⟪" },    .{ .name = "rrangle", .value = "⟫" },    .{ .name = "llbracket", .value = "⟦" },    .{ .name = "rrbracket", .value = "⟧" },    .{ .name = "lfloor", .value = "⌊" },    .{ .name = "rfloor", .value = "⌋" },    .{ .name = "lceil", .value = "⌈" },    .{ .name = "rceil", .value = "⌉" },    .{ .name = "ulcorner", .value = "⌜" },    .{ .name = "urcorner", .value = "⌝" },    .{ .name = "llcorner", .value = "⌞" },    .{ .name = "lrcorner", .value = "⌟" },};const negations = [_]Entry{    .{ .name = "=", .value = "≠" },    .{ .name = "<", .value = "≮" },    .{ .name = ">", .value = "≯" },    .{ .name = "≤", .value = "≰" },    .{ .name = "≥", .value = "≱" },    .{ .name = "≡", .value = "≢" },    .{ .name = "≈", .value = "≉" },    .{ .name = "∼", .value = "≁" },    .{ .name = "≃", .value = "≄" },    .{ .name = "≅", .value = "≇" },    .{ .name = "∈", .value = "∉" },    .{ .name = "∋", .value = "∌" },    .{ .name = "⊂", .value = "⊄" },    .{ .name = "⊃", .value = "⊅" },    .{ .name = "⊆", .value = "⊈" },    .{ .name = "⊇", .value = "⊉" },    .{ .name = "⊑", .value = "⋢" },    .{ .name = "⊒", .value = "⋣" },    .{ .name = "⊢", .value = "⊬" },    .{ .name = "⊨", .value = "⊭" },    .{ .name = "⊩", .value = "⊮" },    .{ .name = "∣", .value = "∤" },    .{ .name = "∥", .value = "∦" },};

Audit

Definitions4
Public names4
Members0
Version26.7.0
Revisiondaab053ee433