use 'Times New Roman' for symbols in formula, closes #42