Fungrim entry: 27766c

\mathop{\min}\limits_{x \in \mathbb{R}} \left[\sin\!\left(x\right)\right] = -1

TeX:

\mathop{\min}\limits_{x \in \mathbb{R}} \left[\sin\!\left(x\right)\right] = -1

Definitions:

Fungrim symbol	Notation	Short description
`Minimum`	$\mathop{\min}\limits_{P\left(x\right)} f\!\left(x\right)$	Minimum value of a set or function
`Sin`	$\sin\!\left(z\right)$	Sine
`RR`	$\mathbb{R}$	Real numbers

Source code for this entry:

Entry(ID("27766c"),
    Formula(Equal(Minimum(Brackets(Sin(x)), x, Element(x, RR)), -1)))

Topics using this entry

2019-06-18 07:49:59.356594 UTC