Who invented or used very first the double lined symbols $\mathbb{R},\mathbb{Q},\mathbb{N}$ etc

Who invented or used very first the double lined symbols $\mathbb{R},\mathbb{Q},\mathbb{N}$ etc. to represent the real number system, rational number system, natural number system respectively?

Solutions Collecting From Web of "Who invented or used very first the double lined symbols $\mathbb{R},\mathbb{Q},\mathbb{N}$ etc"

A Wikipedia page that seems to be relevant:

$\ldots$ blackboard bold in fact originated from the attempt to write bold letters on blackboards in a way that clearly differentiated them from non-bold letters, and then made its way back in print form as a separate style from ordinary bold, possibly starting with the original 1965 edition of Gunning and Rossi’s textbook on complex analysis.

It is sometimes erroneously claimed that Bourbaki introduced the blackboard bold notation, but whereas individual members of the Bourbaki group may have popularized double-striking bold characters on the blackboard, their printed books use ordinary bold $\ldots$

I have no references here, just stories my professor told us. As far as I know, the double lines were not double lines in the beginning, but rather boldened lines, so people wrote R with a slightly thicker vertical line to denote the real numbers.

The laziness of mathematitians and difficulty of writing a bolder line that students will recognise on a blackboard led to professors writing double lines instead of bold lines, and the practice stuck.