¹For more details, see Equal in the online help. Click on the Details triangle and note the first entry:
lhs == rhs is used to represent a symbolic equation, to be manipulated using functions like Solve.