\[RightFloor]
• Alias: rf.
• Matchfix operator with built-in evaluation rules.
• x is by default interpreted as Floor[x].
• Extensible character.
• See Section 3.10.4.
• See also: \[LeftFloor] , \[RightCeiling] .