The lightning symbol in an equation environment TeX LaTeX Stack Exchange