P_IMPLY
case P_IMPLY:
} else if (prop->type == P_IMPLY) {
get_symbol_props_str(r, sym, P_IMPLY, "Implies: ");
menu_add_symbol(P_IMPLY, $2, $3);
case P_IMPLY:
case P_IMPLY:
if (prop->type == P_SELECT || prop->type == P_IMPLY)
case P_IMPLY: