 Isaac Barrow and Baermann used the notation Q.E.A., for ""quod est absurdum"" ("which is absurd"), along the lines of Q.E.D., but this notation is rarely used today.A graphical symbol sometimes used for contradictions is a downwards zigzag arrow "lightning" symbol (U+21AF