    {-# LANGUAGE OverloadedStrings #-}
    module Typst.Shorthands (
      mathSymbolShorthands
    )
    where
    import Data.Text (Text)

    -- A list of pairs of math shorthands and symbol names.
    mathSymbolShorthands :: [(Text, Text)]
    mathSymbolShorthands :: [(Text, Text)]
    mathSymbolShorthands =
    -- autogenerated by make update-symbols
      [ ( Text
    "[|" , Text
    "bracket.l.double" )
      , ( Text
    "|]" , Text
    "bracket.r.double" )
      , ( Text
    "||" , Text
    "bar.v.double" )
      , ( Text
    "*" , Text
    "ast.op" )
      , ( Text
    ":=" , Text
    "colon.eq" )
      , ( Text
    "::=" , Text
    "colon.double.eq" )
      , ( Text
    "..." , Text
    "dots.h" )
      , ( Text
    "'" , Text
    "prime" )
      , ( Text
    "-" , Text
    "minus" )
      , ( Text
    "=:" , Text
    "eq.colon" )
      , ( Text
    "!=" , Text
    "eq.not" )
      , ( Text
    ">>" , Text
    "gt.double" )
      , ( Text
    ">=" , Text
    "gt.eq" )
      , ( Text
    ">>>" , Text
    "gt.triple" )
      , ( Text
    "<<" , Text
    "lt.double" )
      , ( Text
    "<=" , Text
    "lt.eq" )
      , ( Text
    "<<<" , Text
    "lt.triple" )
      , ( Text
    "*" , Text
    "convolve" )
      , ( Text
    "->" , Text
    "arrow.r" )
      , ( Text
    "|->" , Text
    "arrow.r.bar" )
      , ( Text
    "=>" , Text
    "arrow.r.double" )
      , ( Text
    "|=>" , Text
    "arrow.r.double.bar" )
      , ( Text
    "==>" , Text
    "arrow.r.double.long" )
      , ( Text
    "-->" , Text
    "arrow.r.long" )
      , ( Text
    "~~>" , Text
    "arrow.r.long.squiggly" )
      , ( Text
    "~>" , Text
    "arrow.r.squiggly" )
      , ( Text
    ">->" , Text
    "arrow.r.tail" )
      , ( Text
    "->>" , Text
    "arrow.r.twohead" )
      , ( Text
    "<-" , Text
    "arrow.l" )
      , ( Text
    "<==" , Text
    "arrow.l.double.long" )
      , ( Text
    "<--" , Text
    "arrow.l.long" )
      , ( Text
    "<~~" , Text
    "arrow.l.long.squiggly" )
      , ( Text
    "<~" , Text
    "arrow.l.squiggly" )
      , ( Text
    "<-<" , Text
    "arrow.l.tail" )
      , ( Text
    "<<-" , Text
    "arrow.l.twohead" )
      , ( Text
    "<->" , Text
    "arrow.l.r" )
      , ( Text
    "<=>" , Text
    "arrow.l.r.double" )
      , ( Text
    "<==>" , Text
    "arrow.l.r.double.long" )
      , ( Text
    "<-->" , Text
    "arrow.l.r.long" )
      ]