A mathematical sentence that shows that two expressions are equivalent
A statement that two quantities are not equal
Imported from external platform