&'=<&&doublebarwedge;&nequi&updownarrow;é