formal notation