Current draft + html w/ missing mathbbm double stroke symbols