html, body, form { margin: 0; padding: 0; width: 100%; } #calculate { position: relative; width: 177px; height: 110px; background: transparent url(/images/alphabox/embed_functions_inside.gif) no-repeat scroll 0 0; } #i { position: relative; left: 18px; top: 44px; width: 133px; border: 0 none; outline: 0; font-size: 11px; } #eq { width: 9px; height: 10px; background: transparent; position: absolute; top: 47px; right: 18px; cursor: pointer; }

 Floor

 http://functions.wolfram.com/04.01.04.0005.01

 Input Form

 Limit[Floor[z - \[Epsilon]], \[Epsilon] -> Plus[0]] == Floor[z] - 1 /; Element[Re[z], Integers]

 Standard Form

 Cell[BoxData[RowBox[List[RowBox[List[RowBox[List["Limit", "[", RowBox[List[RowBox[List["Floor", "[", RowBox[List["z", "-", "\[Epsilon]"]], "]"]], ",", RowBox[List["\[Epsilon]", "\[Rule]", RowBox[List["+", "0"]]]]]], "]"]], "\[Equal]", " ", RowBox[List[RowBox[List["Floor", "[", "z", "]"]], "-", "1"]]]], "/;", RowBox[List["Element", "[", RowBox[List[RowBox[List["Re", "[", "z", "]"]], ",", "Integers"]], "]"]]]]]]

 MathML Form

 lim ϵ "\[Rule]" + 0 z - ϵ z - 1 /; Re ( z ) TagBox["\[DoubleStruckCapitalZ]", Function[Integers]] Condition ϵ ϵ 0 z -1 ϵ z -1 z [/itex]

 Rule Form

 Cell[BoxData[RowBox[List[RowBox[List["HoldPattern", "[", RowBox[List["Limit", "[", RowBox[List[RowBox[List["Floor", "[", RowBox[List["z_", "-", "\[Epsilon]_"]], "]"]], ",", RowBox[List["\[Epsilon]_", "\[Rule]", RowBox[List["+", "0"]]]]]], "]"]], "]"]], "\[RuleDelayed]", RowBox[List[RowBox[List[RowBox[List["Floor", "[", "z", "]"]], "-", "1"]], "/;", RowBox[List[RowBox[List["Re", "[", "z", "]"]], "\[Element]", "Integers"]]]]]]]]

 Date Added to functions.wolfram.com (modification date)

 2001-10-29