Could you LaTex gurus tell me what font is used in these notes?