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