²Other information such as the author’s name, date of creation, and so on, can go in this area as well but are currently ignored by FriCAS.