\[RightFloor]

  • Unicode: 230B.
  • Alias: rf.
  • Matchfix operator with builtin evaluation rules.
  • x is by default interpreted as Floor[x].
  • Extensible character.