Other state symbols, see chapter 5.