Typesetting New Mathematics