Rightwards Arrow With Vertical Stroke
⇸
| Unicode name | Rightwards Arrow With Vertical Stroke |
| Category | Arrows |
| Unicode version | 3.2 (2002) |
| Alternate names | z notation partial function |
| Code point |
21F8
|
| HTML code |
⇸
|
| JavaScript code |
\u21F8
|