Combining Double Vertical Stroke Overlay
⃦
| Unicode name | Combining Double Vertical Stroke Overlay |
| Category | Combining Diacritical Marks for Symbols |
| Unicode version | 3.2 (2002) |
| Alternate names | z notation finite function diacritic |
| Code point |
20E6
|
| HTML code |
⃦
|
| JavaScript code |
\u20E6
|