Added equality and traditional notation for formulae with quantifiers