2

I want the character with stroke, just like but downwards, but I can't find it. Does it exist?

Edit:

If you don't see the arrows (e.g. you use IE),

I want the character [downwards double arrow] with stroke, just like [rightwards double arrow with stroke] but downwards, but I can't find it. Does it exist?

Oriol
  • 274,082
  • 63
  • 437
  • 513

2 Answers2

3

There is no such character as a precomposed character (i.e., as a single encoded character, a code point assigned to a character), but you can in principle represent it using an arrow character followed by a combining overlay character.

The character “⇏” U+21CF RIGHTWARDS DOUBLE ARROW WITH STROKE has been defined as having the canonical decomposition RIGHTWARDS DOUBLE ARROW (U+21D2) COMBINING LONG SOLIDUS OVERLAY (U+0338). In principle, a character should be expected to be rendered the same way as its canonical decomposition. In practice, things don’t always go that way.

Along the same lines, a downwards double arrow with stroke could be written as the two-character sequence DOWNWARDS DOUBLE ARROW (U+21D3) COMBINING LONG SOLIDUS OVERLAY (U+0338) or, in HTML, as ⇓̸. In practice, few fonts contain these characters, and browsers may fail to implement the combination properly. Moreover, in many fonts, the result is awkward. In Arial Unicode MS and in DejaVu Serif, the result might be acceptable, but only the latter is free (can be legally used as a downloadable font via @font-face). Here’s the combination as rendered by your browser with the SO stylesheets in effect: ⇓̸.

Jukka K. Korpela
  • 195,524
  • 37
  • 270
  • 390
1

It doesn't seem to exist, according to this page (compared to this).

Tim Pietzcker
  • 328,213
  • 58
  • 503
  • 561
  • As the answer notes, UNICODE does not have these arrows. What is your use case? Will you be using this in HTML, PDF, or some other document format? – Dave Newman Apr 06 '13 at 16:36
  • @DaveNewman I will use it in HTML, so maybe I could use `⇏` and turn it down using css3, but that won't work on old browsers. But how can it be that unicode doesn't have these arrows, if unicode has LOTS of characters? – Oriol Apr 06 '13 at 16:40
  • @Oriol There are lots of things UNICODE does not have. For HTML, if one of the more commonly used fonts has this glyph in the font, you can use it. I'm don't know HTML well enough to tell you how to construct the reference to the font and the glyph. I did a quick search of Symbol, Windings*, etc. I could not find those arrows there either. CSS is one solution, or creating small images of these symbols and referencing them in the HTML is another. – Dave Newman Apr 06 '13 at 16:52