Rightwards Arrow With Double Vertical Stroke
⇻
| Unicode name | Rightwards Arrow With Double Vertical Stroke |
| Category | Arrows |
| Unicode version | 3.2 (2002) |
| Alternate names | z notation finite function |
| Code point |
21FB
|
| HTML code |
⇻
|
| JavaScript code |
\u21FB
|