Simplified double-struck chars, LaTeX backend couldnt cope