Fungrim symbol: LeftLimit

Symbol: LeftLimit —

\lim_{x \to {a}^{-}} f\!\left(x\right)

— Limiting value, from the left

This operator can be called with three or four arguments.

LeftLimit(f(x), x, a), rendered as

\lim_{x \to {a}^{-}} f\!\left(x\right)

, is equivalent to Limit(f(x), x, a, Element(x, OpenInterval(Neg(Infinity), a))).

LeftLimit(f(x), x, a, P(x)), rendered as

\lim_{x \to {a}^{-}, P\left(x\right)} f\!\left(x\right)

, is equivalent to Limit(f(x), x, a, And(Element(x, OpenInterval(Neg(Infinity), a)), P(x))).

Definitions:

Fungrim symbol	Notation	Short description
`LeftLimit`	$\lim_{x \to {a}^{-}} f\!\left(x\right)$	Limiting value, from the left
`Limit`	$\lim_{x \to a} f\!\left(x\right)$	Limiting value
`OpenInterval`	$\left(a, b\right)$	Open interval
`Infinity`	$\infty$	Positive infinity

Source code for this entry:

Entry(ID("c8a5f0"),
    SymbolDefinition(LeftLimit, LeftLimit(f(x), x, a), "Limiting value, from the left"),
    Description("This operator can be called with three or four arguments."),
    Description(SourceForm(LeftLimit(f(x), x, a)), ", rendered as", LeftLimit(f(x), x, a), ", is equivalent to", SourceForm(Limit(f(x), x, a, Element(x, OpenInterval(Neg(Infinity), a)))), "."),
    Description(SourceForm(LeftLimit(f(x), x, a, P(x))), ", rendered as", LeftLimit(f(x), x, a, P(x)), ", is equivalent to", SourceForm(Limit(f(x), x, a, And(Element(x, OpenInterval(Neg(Infinity), a)), P(x)))), "."))

Topics using this symbol

The symbol LeftLimit appears in 1 topics:

Operators (in 2 entries)

Entries using this symbol

The symbol LeftLimit appears in 2 entries: