Sub Articulo 137.0

Howto obtain the "flash"-symbol for contradiction (in a proof)?