More Accessible Math - The LEAN Math Notation. - John Gardner; Courtney Christensen (ICCHP (1), 2012)