Typeset mathematical double stroke symbols
