What double struck font is this? Posted by Student, at tex.stackexchange.com, 13 Oct 2015 there is a double struck font in an old book I own that I really like, but no font searching machine did find any usable or…