The formula search is now integrated into the structured zbMATH search, which allows for free combination with other query types. Furthermore, formula queries .