-- Automatically generated from content dictionary relation1.ocd.  Do not change.

module Ideas.Text.OpenMath.Dictionary.Relation1 where



import Ideas.Text.OpenMath.Symbol



-- | List of symbols defined in relation1 dictionary

relation1List :: [Symbol]

relation1List = [eqSymbol, ltSymbol, gtSymbol, neqSymbol, leqSymbol, geqSymbol, approxSymbol]



{-| This symbol represents the binary equality function. -}

eqSymbol :: Symbol

eqSymbol = makeSymbol "relation1" "eq"



{-| This symbol represents the binary less than function which returns true if
the first argument is less than the second, it returns false otherwise. -}

ltSymbol :: Symbol

ltSymbol = makeSymbol "relation1" "lt"



{-| This symbol represents the binary greater than function which returns true
if the first argument is greater than the second, it returns false otherwise.
-}

gtSymbol :: Symbol

gtSymbol = makeSymbol "relation1" "gt"



{-| This symbol represents the binary inequality function. -}

neqSymbol :: Symbol

neqSymbol = makeSymbol "relation1" "neq"



{-| This symbol represents the binary less than or equal to function which
returns true if the first argument is less than or equal to the second, it
returns false otherwise. -}

leqSymbol :: Symbol

leqSymbol = makeSymbol "relation1" "leq"



{-| This symbol represents the binary greater than or equal to function which
returns true if the first argument is greater than or equal to the second, it
returns false otherwise. -}

geqSymbol :: Symbol

geqSymbol = makeSymbol "relation1" "geq"



{-| This symbol is used to denote the approximate equality of its two
arguments. -}

approxSymbol :: Symbol

approxSymbol = makeSymbol "relation1" "approx"