Are there equivalents to the notation of $\lfloor x \rfloor$ and $\lceil x \rceil$ that don't round to the next integer, but to a specified digit of a real number?
- $floorReal(2.3656, 1) = 2.3$
- $ceilReal(2.3678, 2) = 2.37$
Do notations for these exist in a mathematical sense? I know such functions exist in programming languages, but what would be the formal mathematical way to write something like this?