answered Predrag's footnote

I'd prefer simple boldface letters for matrices, rather than blackboard
fonts, since they are more commonly used for number sets.