Show that š‘ ā‡’ Ā¬š‘ž, š‘ž āŠ¢ Ā¬š‘ is valid using formal proof

what is the meaning of āŠ¢ ??