Double-struck Lettering Support for Math Conversions

[mixolydianmel]

This would allow for some way to convert a character like an R into an ℝ, especially useful when talking about sets.

I can think of a couple ways this could be implemented

• Something like LaTeX's \mathbb{<character>} notation (e.g.bb(R) → ℝ)
• Typing two of the same capital letter in a row with no space (e.g. RR → ℝ , R R → R R)

[ArthurSonzogni]

I like the idea!