%!TEX TS-program = lualatex \documentclass{article} \usepackage{fontspec} \setmainfont{Brill}% just an example -- download at http://www.brill.com/about/brill-fonts \newtheorem{theorem}{THEOREM} \newtheorem{proof}{PROOF} \begin{document} \begin{theorem} If an operator has both Left Ide...
Finally, in the third line (which uses \implies), the additional space highlights the arrow from the rest and so improves the readability of the formula. Concerning your second question, the simplest way to negate nearly any symbol whatever its length is to use \centernot from the centernot ...
This question does not fall within the scope of TeX, LaTeX or related typesetting systems as defined in the help center. Closed 7 years ago. Improve this question In a multi-line equations like below, what is the proper mathematical symbol to denote “from the above line it follows that ...