asdf 3 notation