got rid of \D and other notational nicities