added_tokens.json

{
  "ε": 100315,
  "χ": 100297,
  "→": 100312,
  "↦": 100310,
  "∧": 100286,
  "≠": 100304,
  "≤": 100306,
  "≥": 100287,
  "⋀": 100292,
  "⋁": 100282,
  "⟂": 100290,
  "〈": 100299,
  "〉": 100280,
  "𐔰": 100314,
  "𐔱": 100308,
  "𐔲": 100278,
  "𐔳": 100303,
  "𐔷": 100305,
  "𐔸": 100285,
  "𐔻": 100301,
  "𐔾": 100279,
  "𐕀": 100302,
  "𐕂": 100309,
  "𐕃": 100294,
  "𐕊": 100298,
  "𐕎": 100311,
  "𐕏": 100291,
  "𐕐": 100300,
  "𐕕": 100296,
  "𐕖": 100289,
  "𐕙": 100295,
  "𐕛": 100313,
  "𐕜": 100284,
  "𐕞": 100307,
  "𐕟": 100288,
  "𐕠": 100283,
  "𐕣": 100293,
  "𝜎": 100281
}