Propositional Logic Reduction Operator

Question

So, I'm working with Knowledge Based Agents in an AI class, and we're deriving a proposition given a logic base in CNF. I've derived $\neg G$ using proof by resolution in the following partial chain: $$G \rightarrow (\neg A \vee F \vee \neg G) \wedge (\neg B \vee F \vee \neg G) \rightarrow \cdots$$ Given $G$, $(\neg A \vee F \vee \neg G) \wedge (\neg B \vee F \vee \neg G)$ reduces to $(\neg A \vee F) \wedge (\neg B \vee F)$ which simplifies to $(\neg A \wedge \neg B) \vee F$. Is there a logic symbol to show a reduction, or should I just keep it in English?

Answer 1

Some people use the $\LaTeX$ symbol \rightsquigarrow "$\large\rightsquigarrow$" for some kind of reduction. There is probably no universal convention, so you should define whatever notation you use.