-- | Module for the package @amssymb@.
module Text.LaTeX.Packages.AMSSymb
 ( -- * AMSSymb package
   amssymb

   -- * Arrows
  , vartriangleleft, vartriangleright 
  , leftleftarrows, rightrightarrows
  , rightleftarrows, leftrightarrows
  , upuparrows, downdownarrows
  , leftarrowtail, rightarrowtail
  , curvearrowleft, curvearrowright
  , twoheadleftarrow, twoheadrightarrow
  , rightleftharpoons
  , lsh2, rsh2
  , leftarrow3, rightarrow3
  , rightsquigarrow, leftrightsquigarrow
  , looparrowleft, looparrowright
  , circlearrowleft, circlearrowright
  , upharpoonleft, upharpoonright
  , downharpoonleft, downharpoonright
  , nleftarrow, nrightarrow
  , nleftarrow2, nrightarrow2
  , nleftrightarrow, nleftrightarrow2

   -- * Other
  , lll, ggg
  , gtrdot, lessdot
  , square, blacksquare  
  , lozenge, blacklozenge
  , checkmark, nexists
 ) where

import Text.LaTeX.Base.Class
import Text.LaTeX.Base.Types

-- | AMSSymb package.
-- Example:
--
-- > usepackage [] amssymb
amssymb :: ClassName
amssymb :: ClassName
amssymb = ClassName
"amssymb"

--

-- | \(\vartriangleleft\) symbol.
vartriangleleft :: LaTeXC l => l
vartriangleleft :: forall l. LaTeXC l => l
vartriangleleft = forall l. LaTeXC l => ClassName -> l
comm0 ClassName
"vartriangleleft"

-- | \(\vartriangleleft\) symbol.
vartriangleright :: LaTeXC l => l
vartriangleright :: forall l. LaTeXC l => l
vartriangleright = forall l. LaTeXC l => ClassName -> l
comm0 ClassName
"vartriangleright"

-- | \(\leftleftarrows\) symbol - double left arrows.
leftleftarrows :: LaTeXC l => l
leftleftarrows :: forall l. LaTeXC l => l
leftleftarrows = forall l. LaTeXC l => ClassName -> l
comm0 ClassName
"leftleftarrows"

-- | \(\rightrightarrows\) symbol - double right arrows
rightrightarrows :: LaTeXC l => l
rightrightarrows :: forall l. LaTeXC l => l
rightrightarrows = forall l. LaTeXC l => ClassName -> l
comm0 ClassName
"rightrightarrows"

-- | \(\rightleftarrows\) symbol - right arrow atop a left arrow
rightleftarrows :: LaTeXC l => l
rightleftarrows :: forall l. LaTeXC l => l
rightleftarrows = forall l. LaTeXC l => ClassName -> l
comm0 ClassName
"rightleftarrows"

-- | \(\leftrightarrows\) symbol - left arrow atop a right arrow.
leftrightarrows :: LaTeXC l => l
leftrightarrows :: forall l. LaTeXC l => l
leftrightarrows = forall l. LaTeXC l => ClassName -> l
comm0 ClassName
"leftrightarrows"

-- | \(\upuparrows\) symbol - double upward arrows.
upuparrows :: LaTeXC l => l
upuparrows :: forall l. LaTeXC l => l
upuparrows = forall l. LaTeXC l => ClassName -> l
comm0 ClassName
"upuparrows"

-- | \(\downdownarrows\) symbol - double downward arrows.
downdownarrows :: LaTeXC l => l
downdownarrows :: forall l. LaTeXC l => l
downdownarrows = forall l. LaTeXC l => ClassName -> l
comm0 ClassName
"downdownarrows"

-- | \(\lll\) symbol - triple less than.
lll :: LaTeXC l => l
lll :: forall l. LaTeXC l => l
lll = forall l. LaTeXC l => ClassName -> l
comm0 ClassName
"lll"

-- | \(\ggg\) symbol - triple greater than.
ggg :: LaTeXC l => l
ggg :: forall l. LaTeXC l => l
ggg = forall l. LaTeXC l => ClassName -> l
comm0 ClassName
"ggg"

-- | \(\leftarrowtail\) symbol - leftwards "mapsto"
leftarrowtail :: LaTeXC l => l
leftarrowtail :: forall l. LaTeXC l => l
leftarrowtail = forall l. LaTeXC l => ClassName -> l
comm0 ClassName
"leftarrowtail"

-- | \(\rightarrowtail\) symbol - rightwards "mapsto"
rightarrowtail :: LaTeXC l => l
rightarrowtail :: forall l. LaTeXC l => l
rightarrowtail = forall l. LaTeXC l => ClassName -> l
comm0 ClassName
"rightarrowtail"

-- | \(\curvearrowleft\) symbol - leftwards curved arrow
curvearrowleft :: LaTeXC l => l
curvearrowleft :: forall l. LaTeXC l => l
curvearrowleft = forall l. LaTeXC l => ClassName -> l
comm0 ClassName
"curvearrowleft"

-- | \(\curvearrowright\) symbol - rightwards curved arrow
curvearrowright :: LaTeXC l => l
curvearrowright :: forall l. LaTeXC l => l
curvearrowright = forall l. LaTeXC l => ClassName -> l
comm0 ClassName
"curvearrowright"

-- | \(\twoheadleftarrow\) symbol - double head left arrow
twoheadleftarrow :: LaTeXC l => l
twoheadleftarrow :: forall l. LaTeXC l => l
twoheadleftarrow = forall l. LaTeXC l => ClassName -> l
comm0 ClassName
"twoheadleftarrow"

-- | \(\twoheadrightarrow\) symbol - double head right arrow
twoheadrightarrow :: LaTeXC l => l
twoheadrightarrow :: forall l. LaTeXC l => l
twoheadrightarrow = forall l. LaTeXC l => ClassName -> l
comm0 ClassName
"twoheadleftarrow"

-- | \(\checkmark\) symbol.
checkmark :: LaTeXC l => l
checkmark :: forall l. LaTeXC l => l
checkmark = forall l. LaTeXC l => ClassName -> l
comm0 ClassName
"checkmark"

-- | \(\lozenge\) symbol - narrow diamond
lozenge :: LaTeXC l => l
lozenge :: forall l. LaTeXC l => l
lozenge = forall l. LaTeXC l => ClassName -> l
comm0 ClassName
"lozenge"

-- | \(\blacklozenge\) symbol - filled narrow diamond
blacklozenge :: LaTeXC l => l
blacklozenge :: forall l. LaTeXC l => l
blacklozenge = forall l. LaTeXC l => ClassName -> l
comm0 ClassName
"blacklozenge"

-- | \(\nexists\) symbol - does not exist
nexists :: LaTeXC l => l
nexists :: forall l. LaTeXC l => l
nexists = forall l. LaTeXC l => ClassName -> l
comm0 ClassName
"nexists"

-- | \(\lessdot\) symbol - less than with inner dot
lessdot :: LaTeXC l => l
lessdot :: forall l. LaTeXC l => l
lessdot = forall l. LaTeXC l => ClassName -> l
comm0 ClassName
"lessdot"

-- | \(\gtrdot\) symbol - greater than with inner dot
gtrdot :: LaTeXC l => l
gtrdot :: forall l. LaTeXC l => l
gtrdot = forall l. LaTeXC l => ClassName -> l
comm0 ClassName
"gtrdot"

-- | \(\square\) symbol - square.
--   For the QED “tombstone”, see 'Text.LaTeX.Packages.AMSThm.qed' instead; it is normally the
--   same symbol but gives the suitable text alignment.
square :: LaTeXC l => l
square :: forall l. LaTeXC l => l
square = forall l. LaTeXC l => ClassName -> l
comm0 ClassName
"square"

-- | \(\blacksquare\) symbol - a filled square
blacksquare :: LaTeXC l => l
blacksquare :: forall l. LaTeXC l => l
blacksquare = forall l. LaTeXC l => ClassName -> l
comm0 ClassName
"blacksquare"

-- | \(\rightleftharpoons\) symbol
rightleftharpoons :: LaTeXC l => l
rightleftharpoons :: forall l. LaTeXC l => l
rightleftharpoons = forall l. LaTeXC l => ClassName -> l
comm0 ClassName
"rightleftharpoons"
-- | \(\Lsh\) symbol
lsh2 :: LaTeXC l => l
lsh2 :: forall l. LaTeXC l => l
lsh2 = forall l. LaTeXC l => ClassName -> l
comm0 ClassName
"Lsh"
-- | \(\Rsh\) symbol
rsh2 :: LaTeXC l => l
rsh2 :: forall l. LaTeXC l => l
rsh2 = forall l. LaTeXC l => ClassName -> l
comm0 ClassName
"Rsh"
-- | \(\Lleftarrow\) symbol
leftarrow3 :: LaTeXC l => l
leftarrow3 :: forall l. LaTeXC l => l
leftarrow3 = forall l. LaTeXC l => ClassName -> l
comm0 ClassName
"Lleftarrow"
-- | \(\Rrightarrow\) symbol
rightarrow3 :: LaTeXC l => l
rightarrow3 :: forall l. LaTeXC l => l
rightarrow3 = forall l. LaTeXC l => ClassName -> l
comm0 ClassName
"Rrightarrow"
-- | \(\rightsquigarrow\) symbol
rightsquigarrow :: LaTeXC l => l
rightsquigarrow :: forall l. LaTeXC l => l
rightsquigarrow = forall l. LaTeXC l => ClassName -> l
comm0 ClassName
"rightsquigarrow"
-- | \(\leftrightsquigarrow\) symbol
leftrightsquigarrow :: LaTeXC l => l
leftrightsquigarrow :: forall l. LaTeXC l => l
leftrightsquigarrow = forall l. LaTeXC l => ClassName -> l
comm0 ClassName
"leftrightsquigarrow"
-- | \(\looparrowleft\) symbol
looparrowleft :: LaTeXC l => l
looparrowleft :: forall l. LaTeXC l => l
looparrowleft = forall l. LaTeXC l => ClassName -> l
comm0 ClassName
"looparrowleft"
-- | \(\looparrowright\) symbol
looparrowright :: LaTeXC l => l
looparrowright :: forall l. LaTeXC l => l
looparrowright = forall l. LaTeXC l => ClassName -> l
comm0 ClassName
"looparrowright"
-- | \(\circlearrowleft\) symbol
circlearrowleft :: LaTeXC l => l
circlearrowleft :: forall l. LaTeXC l => l
circlearrowleft = forall l. LaTeXC l => ClassName -> l
comm0 ClassName
"circlearrowleft"
-- | \(\circlearrowright\) symbol
circlearrowright :: LaTeXC l => l
circlearrowright :: forall l. LaTeXC l => l
circlearrowright = forall l. LaTeXC l => ClassName -> l
comm0 ClassName
"circlearrowright"
-- | \(\upharpoonleft\) symbol
upharpoonleft :: LaTeXC l => l
upharpoonleft :: forall l. LaTeXC l => l
upharpoonleft = forall l. LaTeXC l => ClassName -> l
comm0 ClassName
"upharpoonleft"
-- | \(\upharpoonright\) symbol
upharpoonright :: LaTeXC l => l
upharpoonright :: forall l. LaTeXC l => l
upharpoonright = forall l. LaTeXC l => ClassName -> l
comm0 ClassName
"upharpoonright"
-- | \(\downharpoonleft\) symbol
downharpoonleft :: LaTeXC l => l
downharpoonleft :: forall l. LaTeXC l => l
downharpoonleft = forall l. LaTeXC l => ClassName -> l
comm0 ClassName
"downharpoonleft"
-- | \(\downharpoonright\) symbol
downharpoonright :: LaTeXC l => l
downharpoonright :: forall l. LaTeXC l => l
downharpoonright = forall l. LaTeXC l => ClassName -> l
comm0 ClassName
"downharpoonright"
-- | \(\nleftarrow\) symbol
nleftarrow :: LaTeXC l => l
nleftarrow :: forall l. LaTeXC l => l
nleftarrow = forall l. LaTeXC l => ClassName -> l
comm0 ClassName
"nleftarrow"
-- | \(\nrightarrow\) symbol
nrightarrow :: LaTeXC l => l
nrightarrow :: forall l. LaTeXC l => l
nrightarrow = forall l. LaTeXC l => ClassName -> l
comm0 ClassName
"nrightarrow"
-- | \(\nLeftarrow\) symbol
nleftarrow2 :: LaTeXC l => l
nleftarrow2 :: forall l. LaTeXC l => l
nleftarrow2 = forall l. LaTeXC l => ClassName -> l
comm0 ClassName
"nLeftarrow"
-- | \(\nRightarrow\) symbol
nrightarrow2 :: LaTeXC l => l
nrightarrow2 :: forall l. LaTeXC l => l
nrightarrow2 = forall l. LaTeXC l => ClassName -> l
comm0 ClassName
"nRightarrow"
-- | \(\nleftrightarrow\) symbol
nleftrightarrow :: LaTeXC l => l
nleftrightarrow :: forall l. LaTeXC l => l
nleftrightarrow = forall l. LaTeXC l => ClassName -> l
comm0 ClassName
"nleftrightarrow"
-- | \(\nLeftrightarrow\) symbol
nleftrightarrow2 :: LaTeXC l => l
nleftrightarrow2 :: forall l. LaTeXC l => l
nleftrightarrow2 = forall l. LaTeXC l => ClassName -> l
comm0 ClassName
"nLeftrightarrow"