Relation1.hs

-- Automatically generated from content dictionary relation1.ocd.  Do not change.
module Text.OpenMath.Dictionary.Relation1 where

import 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"