Don't you hate it to write formula's in latex with all the $ \ weird names like wedge instead of and, lor instead of or. Latex formula maker is here for you. type your formula using and, or, not, implies and equivalent and the program will create the appropriate latex formula.