Downwards Arrow With Double Stroke
  • Character: ⇟
  • Code Point: U+21DF
  • HTML: ⇟
  • Python: \u21DF
  • Python: \N{downwards arrow with double stroke}
  • UTF-8: \xe2\x87\x9f
  • UTF-16: \xff\xfe\xdf\x21