Double-struck Capital R
ℝ
| Unicode name | Double-struck Capital R |
| Category | Letterlike Symbols |
| Unicode version | 1.1 (1993) |
| Alternate names | the set of real numbers |
| Code point |
211D
|
| HTML code |
ℝ
|
| JavaScript code |
\u211D
|