||    <Rights>Distributed under Creative Commons License
||      Attribution-NonCommercial-NoDerivs 2.0 Germany: <omlet type="hyperlink" 
||        data="http://creativecommons.org/licenses/by-nc-nd/2.0/de/"
||      >details of the license</omlet>.</Rights>


Context:"Mathematics/Arithmetic"
Context:"Mathematics/Logic"
Context:"Mathematics/Set_theory"
Context:"Mathematics/OpenMath/interval1"
Context:"Mathematics/OpenMath/limit1"
Context:"Mathematics/OpenMath/list1"
Context:"Mathematics/OpenMath/relation1"
Context:"Mathematics/OpenMath/set1"
Context:"Mathematics/OpenMath/setname1"
Context:"Mathematics/OpenMath/transc1"

Symbol: hint SYMBOL "org.activemath.exercises.user_requests:hint"
Symbol: htwo  SYMBOL  "org.activemath.exercises.user_requests:hint"
Symbol: hthree  SYMBOL  "org.activemath.exercises.user_requests:hint"
Symbol: hfour  SYMBOL  "org.activemath.exercises.user_requests:hint"
Symbol: hfive  SYMBOL  "org.activemath.exercises.user_requests:hint"
Symbol: hsix  SYMBOL  "org.activemath.exercises.user_requests:hint"
Symbol: solution  SYMBOL  "org.activemath.exercises.user_requests:solution"

Symbol: float APPLICATION "oqmath:float-from-string"
Symbol: id    APPLICATION "oqmath:id"
Symbol: apply APPLICATION "oqmath:map-application"

Symbol: bC SYMBOL "setname1:C"
Symbol: bN0 SYMBOL "setname1:N"
Symbol: bN SYMBOL "basics_symbols:N"
Symbol: bQ SYMBOL "setname1:Q"
Symbol: bQp SYMBOL "basics_symbols:Q_plus"
Symbol: bQm SYMBOL "basics_symbols:Q_minus"
Symbol: bQp0 SYMBOL "basics_symbols:Q_plus0"
Symbol: bQm0 SYMBOL "basics_symbols:Q_minus0"
Symbol: bR SYMBOL "setname1:R"
Symbol: bRp SYMBOL "basics_symbols:R_plus"
Symbol: bRm SYMBOL "basics_symbols:R_minus"
Symbol: bRp0 SYMBOL "basics_symbols:R_plus0"
Symbol: bRm0 SYMBOL "basics_symbols:R_minus0"
Symbol: bZ SYMBOL "setname1:Z"

Symbol: A VARIABLE "A"
Symbol: B VARIABLE "B"
Symbol: C VARIABLE "C"
Symbol: H VARIABLE "H"
Symbol: I VARIABLE "I"
Symbol: K VARIABLE "K"
Symbol: M VARIABLE "M"
Symbol: N VARIABLE "N"
Symbol: P VARIABLE "P"
Symbol: Q VARIABLE "Q"
Symbol: R VARIABLE "R"
Symbol: S VARIABLE "S"
Symbol: V VARIABLE "V"
Symbol: W VARIABLE "W"
Symbol: X VARIABLE "X"
Symbol: X_0 VARIABLE "X__0"
Symbol: Y VARIABLE "Y"
Symbol: Z VARIABLE "Z"
Symbol: M_x VARIABLE "M__x"
Symbol: M_y VARIABLE "M__y"
Symbol: N_m VARIABLE "N__m"
Symbol: N_p VARIABLE "N__p"
Symbol: N_x VARIABLE "N__x"
Symbol: N_y VARIABLE "N__y"
Symbol: N_z VARIABLE "N__z"
Symbol: N_0 VARIABLE "N__0"
Symbol: N_1 VARIABLE "N__1"
Symbol: N_2 VARIABLE "N__2"
Symbol: N_σ VARIABLE "N__σ"
Symbol: P_0 VARIABLE "P__0"
Symbol: P_1 VARIABLE "P__1"
Symbol: P_2 VARIABLE "P__2"

Symbol: a VARIABLE "a"
Symbol: b VARIABLE "b"
Symbol: c VARIABLE "c"
Symbol: d VARIABLE "d"
Symbol: f VARIABLE "f"
Symbol: g VARIABLE "g"
Symbol: j VARIABLE "j"
Symbol: k VARIABLE "k"
Symbol: m VARIABLE "m"
Symbol: n VARIABLE "n"
Symbol: n1 VARIABLE "n+1"
Symbol: q VARIABLE "q"
Symbol: r VARIABLE "r"
Symbol: s VARIABLE "s"
Symbol: t VARIABLE "t"
Symbol: u VARIABLE "u"
Symbol: v VARIABLE "v"
Symbol: w VARIABLE "w"
Symbol: x VARIABLE "x"
Symbol: y VARIABLE "y"
Symbol: z VARIABLE "z"
Symbol: m_x VARIABLE "m__x"
Symbol: n_x VARIABLE "n__x"
Symbol: n_y VARIABLE "n__y"
Symbol: n_z VARIABLE "n__z"
Symbol: t_0 VARIABLE "t__0"
Symbol: x_0 VARIABLE "x__0"
Symbol: y_0 VARIABLE "y__0"
Symbol: z_0 VARIABLE "z__0"
Symbol: t_1 VARIABLE "t__1"
Symbol: x_1 VARIABLE "x__1"
Symbol: y_1 VARIABLE "y__1"
Symbol: z_1 VARIABLE "z__1"
Symbol: t_2 VARIABLE "t__2"
Symbol: x_2 VARIABLE "x__2"
Symbol: y_2 VARIABLE "y__2"
Symbol: z_2 VARIABLE "z__2"

Symbol: Delta VARIABLE "Δ"

Symbol: alpha VARIABLE "α"
Symbol: α     VARIABLE "α"
Symbol: α_0     VARIABLE "α__0"
Symbol: beta  VARIABLE "β"
Symbol: β     VARIABLE "β"
Symbol: gamma VARIABLE "γ"
Symbol: γ     VARIABLE "γ"
Symbol: delta VARIABLE "δ"
Symbol: δ     VARIABLE "δ"
Symbol: δ_f   VARIABLE "δ__f"
Symbol: δ_g   VARIABLE "δ__g"
Symbol: epsilon VARIABLE "ε"
Symbol: ε       VARIABLE "ε"
Symbol: zeta  VARIABLE "ζ"
Symbol: ζ     VARIABLE "ζ"
Symbol: eta   VARIABLE "η"
Symbol: η     VARIABLE "η"
Symbol: theta VARIABLE "θ"
Symbol: θ     VARIABLE "θ"
Symbol: iota  VARIABLE "ι"
Symbol: ι     VARIABLE "ι"
Symbol: kappa VARIABLE "κ"
Symbol: κ     VARIABLE "κ"
Symbol: λ     VARIABLE "λ"
Symbol: mu    VARIABLE "μ"
Symbol: μ     VARIABLE "μ"
Symbol: nu    VARIABLE "ν"
Symbol: ν     VARIABLE "ν"
Symbol: xi    VARIABLE "ξ"
Symbol: ξ     VARIABLE "ξ"
Symbol: rho   VARIABLE "ρ"
Symbol: ρ     VARIABLE "ρ"
Symbol: sigma VARIABLE "σ"
Symbol: σ     VARIABLE "σ"
Symbol: tau   VARIABLE "τ"
Symbol: τ     VARIABLE "τ"
Symbol: phi   VARIABLE "φ"
Symbol: φ     VARIABLE "φ"
Symbol: chi   VARIABLE "χ"
Symbol: χ     VARIABLE "χ"
Symbol: psi   VARIABLE "ψ"
Symbol: ψ     VARIABLE "ψ"
Symbol: omega VARIABLE "ω"
Symbol: ω     VARIABLE "ω"

Symbol: *     OP_PROD     "arith1:times"
Symbol: /     OP_PROD     "arith1:divide"
Symbol: pos   APPLICATION "basics_symbols:unary_plus"
Symbol: neg   APPLICATION "arith1:unary_minus"
Symbol: abs   APPLICATION "arith1:abs"
Symbol: root  APPLICATION "arith1:root"

Symbol: binomial  APPLICATION "combinat1:binomial"

Symbol: dom   APPLICATION "fns1:domain"
Symbol: Id   APPLICATION "fns1:identity"
Symbol: im    APPLICATION "fns1:image"
Symbol: range APPLICATION "fns1:range"

Symbol: '..' OP_PLUS "interval1:interval_oo"
Symbol: ..'  OP_PLUS "interval1:interval_co"
Symbol: '..  OP_PLUS "interval1:interval_oc"
Symbol: ..   OP_PLUS "interval1:interval_cc"

Symbol: iintm APPLICATION "basics_symbols:integer-interval-with-steps"

Symbol: !  OP_FACT    "integer1:factorial"

Symbol: ⇔ OP_IMPL  "logic1:equivalent"
Symbol: Equiv SYMBOL  "logic1:equivalent"
Symbol: ⇒ OP_IMPL  "logic1:implies"
Symbol: Implies SYMBOL "logic1:implies"
Symbol: ¬  OP_EXP   "logic1:not"
Symbol: and  OP_AND   "logic1:and"
Symbol: or  OP_OR   "logic1:or"
Symbol: true  SYMBOL  "logic1:true"
Symbol: false SYMBOL  "logic1:false"

Symbol: e   SYMBOL "nums1:e"
Symbol: i   SYMBOL "nums1:i"
Symbol: ifty SYMBOL "nums1:infinity"
Symbol: ∞   SYMBOL "nums1:infinity"
Symbol: pi  SYMBOL "nums1:pi"
Symbol: π   SYMBOL "nums1:pi"

Symbol: piecew  APPLICATION "piece1:piecewise"
Symbol: piece   APPLICATION "piece1:piece"
Symbol: other   APPLICATION "piece1:otherwise"

Symbol: ∃ BINDING "quant1:exists"
Symbol: ∀ BINDING "quant1:forall"
Symbol: Exists SYMBOL "quant1:exists"
Symbol: Forall SYMBOL "quant1:forall"

Symbol: lt  OP_EQ  "relation1:lt"
Symbol: gt  OP_EQ  "relation1:gt"
Symbol: ≤   OP_EQ  "relation1:leq"
Symbol: ≥   OP_EQ  "relation1:geq"
Symbol: Lt  SYMBOL "relation1:lt"
Symbol: Gt  SYMBOL "relation1:gt"
Symbol: Eq  SYMBOL "relation1:eq"
Symbol: Leq SYMBOL "relation1:leq"
Symbol: Geq SYMBOL "relation1:geq"

Symbol: ∅      SYMBOL "set1:emptyset"
Symbol: inter   OP_PROD "set1:intersect"
Symbol: union   OP_PROD "set1:union"
Symbol: times   OP_PROD "set1:cartesian_product"
Symbol: \       OP_PLUS "set1:setdiff"
Symbol: ⊆       OP_PLUS "set1:subset"
Symbol: ⊂       OP_PLUS "set1:prsubset"
Symbol: set APPLICATION  "set1:set"
Symbol: size APPLICATION "set1:size"
Symbol: setdiff APPLICATION "set1:setdiff"
Symbol: |       OP_BIND "set1:suchthat"
Symbol: setsuchthat  APPLICATION "set1:suchthat"
Symbol: goesto  OP_BIND "fns1:lambda"

Symbol: exp APPLICATION "transc1:exp"
Symbol: ln  APPLICATION "transc1:ln"
Symbol: log APPLICATION "transc1:log"
Symbol: sin APPLICATION "transc1:sin"
Symbol: cos APPLICATION "transc1:cos"
Symbol: tan APPLICATION "transc1:tan"
Symbol: cot APPLICATION "transc1:cot"
Symbol: arcsin APPLICATION "transc1:arcsin"
Symbol: arccos APPLICATION "transc1:arccos"
Symbol: arctan APPLICATION "transc1:arctan"
Symbol: arccot APPLICATION "transc1:arccot"
Symbol: sinh APPLICATION "transc1:sinh"
Symbol: cosh APPLICATION "transc1:cosh"
Symbol: tanh APPLICATION "transc1:tanh"
Symbol: coth APPLICATION "transc1:coth"
Symbol: asinh APPLICATION "transc1:arcsinh"
Symbol: acosh APPLICATION "transc1:arccosh"
Symbol: atanh APPLICATION "transc1:arctanh"
Symbol: acoth APPLICATION "transc1:arccoth"

Symbol: ap      APPLICATION "elementary:map-application"
Symbol: bounded APPLICATION "elementary:metr_bounded_set"
Symbol: inf_vec APPLICATION "elementary:inf_vector"
Symbol: map     APPLICATION "elementary:map"
Symbol: mapsto  APPLICATION "elementary:mapsto"
Symbol: pm      OP_PLUS     "elementary:plus_minus"
Symbol: pm1     APPLICATION "elementary:plus_minus1"
Symbol: mp      OP_PLUS     "elementary:minus_plus"
Symbol: mp1     APPLICATION "elementary:minus_plus1"
Symbol: seq     APPLICATION "elementary:sequence"
Symbol: sqt     APPLICATION "elementary:sequent"

Symbol: nbh  APPLICATION "bounded_sets_symbols:neighbourhood"
Symbol: max  APPLICATION "bounded_sets_symbols:max"
Symbol: min  APPLICATION "bounded_sets_symbols:min"
Symbol: sup  APPLICATION "bounded_sets_symbols:sup"
Symbol: inf  APPLICATION "bounded_sets_symbols:inf"

Symbol: diff  APPLICATION "calculus1:diff"
Symbol: ndiff APPLICATION "calculus1:nthdiff"

Symbol: conv  APPLICATION "limits_symbols:converges-to"

Symbol: avsl APPLICATION  "diffquot_symbols:average_slope"
Symbol: DfDx APPLICATION  "diffquot_symbols:diff_quot"

Symbol: acsl APPLICATION  "deriv_symbols:slope"

Symbol: change APPLICATION "rateofchange_symbols:change"
Symbol: rate   APPLICATION "rateofchange_symbols:rate_of_change"

Symbol: diff_left APPLICATION  "deriv_theorems_symbols:diff_left"
Symbol: diff_right APPLICATION  "deriv_theorems_symbols:diff_right"

Symbol: inv      APPLICATION "functions_symbols:inv_function"
Symbol: compose  OP_PROD     "functions_symbols:compos_function"

Symbol: line APPLICATION "lines_symbols:line"
Symbol: ray APPLICATION "lines_symbols:ray"
Symbol: segment APPLICATION "lines_symbols:segment"
Symbol: length APPLICATION "lines_symbols:length"

Symbol: related_to  OP_EQ "relations_symbols:relation"
Symbol: Related_to  SYMBOL  "relations_symbols:relation"
Symbol: Diag  APPLICATION "relations_symbols:diag_relation"
Symbol: invrel  APPLICATION "relations_symbols:inv_relation"
Symbol: comprel     OP_PROD     "relations_symbols:compos_relation"
Symbol: trans       APPLICATION "relations_symbols:trans_closure"
Symbol: equiv_class APPLICATION "relations_symbols:equiv_class"
Symbol: factorset APPLICATION "relations_symbols:factor_set"
Symbol: ≼   OP_EQ     "relations_symbols:po_leq"
Symbol: ≽   OP_EQ     "relations_symbols:po_geq"
Symbol: ≺   OP_EQ     "relations_symbols:po_lt"
Symbol: ≻   OP_EQ     "relations_symbols:po_gt"
Symbol: Poleq SYMBOL "relations_symbols:po_leq"
Symbol: Pogeq SYMBOL "relations_symbols:po_geq"
Symbol: Polt  SYMBOL "relations_symbols:po_lt"
Symbol: Pogt  SYMBOL "relations_symbols:po_gt"

Symbol: limsup APPLICATION  "subsequence_symbols:limsup"
Symbol: liminf APPLICATION  "subsequence_symbols:liminf"

Symbol: infinite_union APPLICATION "basics_symbols:infinite_union"
Symbol: infinite_intersection APPLICATION "basics_symbols:infinite_intersection"

Symbol: coords APPLICATION "basics_symbols:point_by_coordinates"
Symbol: x_coord APPLICATION "basics_symbols:x_coord"
Symbol: y_coord APPLICATION "basics_symbols:y_coord"
Symbol: z_coord APPLICATION "basics_symbols:z_coord"
Symbol: %     OP_FACT "basics_symbols:percent"
Symbol: °     OP_FACT "basics_symbols:degree"
Symbol: angle APPLICATION "basics_symbols:angle"
Symbol: parenthesis  APPLICATION  "basics_symbols:parenthesis"
Symbol: dot  SYMBOL  "basics_symbols:dot"
Symbol: dots  SYMBOL  "basics_symbols:dots"

Symbol: mtr  SYMBOL  "units_metric1:metre"
Symbol: sqmtr  SYMBOL  "units_metric1:metre_sqrd"
Symbol: ltr  SYMBOL  "units_metric1:litre"
Symbol: sec  SYMBOL  "units_metric1:second"
Symbol: mtr_sec  SYMBOL  "units_metric1:metres_per_second"
Symbol: mtr_sqsec  SYMBOL  "units_metric1:metres_per_second_sqrd"
Symbol: gramm  SYMBOL  "units_metric1:gramme"

Symbol: prefix  APPLICATION  "units_ops1:prefix"
Symbol: centi  SYMBOL  "units_siprefix1:centi"
Symbol: milli  SYMBOL  "units_siprefix1:milli"
Symbol: kilo  SYMBOL  "units_siprefix1:kilo"

Symbol: minute  SYMBOL  "units_time1:minute"
Symbol: hour  SYMBOL  "units_time1:hour"
Symbol: day  SYMBOL  "units_time1:day"