{-# LANGUAGE OverloadedStrings #-}
module Typst.Shorthands (
mathSymbolShorthands
)
where
import Data.Text (Text)
mathSymbolShorthands :: [(Text, Text)]
mathSymbolShorthands :: [(Text, Text)]
mathSymbolShorthands =
[ ( 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" )
]