a few more escape sequences