Encodings for Unicode Character 'DOUBLE-STRUCK CAPITAL R' (U+211D)