Also known as U+211D, DOUBLE-STRUCK CAPITAL R, double-struck R, R
REDIRECT Real number
via Wikidata · CC0
REDIRECT Real number
ℝ U+211D "Double‐struck Capital R" is from the Letterlike Symbols Unicode block.
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).