Version 2: symbols adapted to version July 2014 of unicode-math