Note that these symbols are used: = means equals, or same as; <-> means "opposite"; < means comes from or related to.
