attribute _SYMBOL_TOKENS

_SYMBOL_TOKENS: Final[dict[str, TokenKind]] = {'...': TokenKind.ellipsis, '..': TokenKind.range, '->': TokenKind.arrow, '<=': TokenKind.less_equal, '>=': TokenKind.greater_equal, '!=': TokenKind.not_equal, '==': TokenKind.equal, '∴': TokenKind.define, 'κ': TokenKind.metadata, '⟦': TokenKind.semantic_lbracket, '⟧': TokenKind.semantic_rbracket, '⟬': TokenKind.index_lbracket, '⟭': TokenKind.index_rbracket, '⟨': TokenKind.tuple_lbracket, '⟩': TokenKind.tuple_rbracket, '→': TokenKind.arrow, '⊢': TokenKind.turnstile, '⇒': TokenKind.implies, '⌁': TokenKind.bind, '≔': TokenKind.assign, '⟣': TokenKind.emit, '∎': TokenKind.end, 'λ': TokenKind.lambda_, ':': TokenKind.colon, ',': TokenKind.comma, ';': TokenKind.semicolon, '.': TokenKind.dot, '(': TokenKind.lparen, ')': TokenKind.rparen, '{': TokenKind.lbrace, '}': TokenKind.rbrace, '+': TokenKind.plus, '-': TokenKind.minus, '*': TokenKind.star, '×': TokenKind.multiply, '/': TokenKind.slash, '%': TokenKind.percent, '^': TokenKind.power, '=': TokenKind.equal, '≠': TokenKind.not_equal, '<': TokenKind.less, '>': TokenKind.greater, '≤': TokenKind.less_equal, '≥': TokenKind.greater_equal, '≡': TokenKind.equivalent, '≅': TokenKind.congruent, '∧': TokenKind.and_, '∨': TokenKind.or_, '¬': TokenKind.not_}

Source: packages/aix/src/aix/lexer/core.py:293