Explore: Underline

An underscore or underline is a line drawn under a segment of text. In proofreading, underscoring is a convention that says "set this text in italic type"

The Underline (stylized as The Underline) is a 10-mile linear park being developed in Miami-Dade County, Florida. When complete, it will run underneath

{\begin{aligned}&{\underline {1,2,1}}\rightarrow _{r5}{\underline {2,1,1}}\rightarrow _{r6}1,1,{\underline {1,1,1}}\rightarrow _{r5}1,1,{\underline {2,0,1}}\rightarrow

\left[{\underline {A}}(a,\lambda ){\underline {B}}(b,\lambda )-{\underline {A}}(a,\lambda ){\underline {B}}\left(b',\lambda \right)\pm {\underline {A}}(a

g(A)=\left|\bigcap _{i\in {\underline {m}}\smallsetminus A}A_{i}\right|,\quad g({\underline {m}})=\left|\bigcup _{i\in {\underline {m}}}A_{i}\right|{\text{

{\underline {\underline {\boldsymbol {K}}}}={\underline {\underline {{\boldsymbol {A}}^{T}}}}~{\underline {\underline {\boldsymbol {K}}}}~{\underline {\underline

single straight underline for italic type single wavy underline for bold type double straight underline for SMALL CAPS double underline of one straight

underline {E}}^{3}{\underline {a}}^{4}+20{\underline {E}}{\underline {a}}^{2}\right){\underline {L}}_{c}+\left(8{\underline {E}}^{4}{\underline

Levy in using underlines to denote computations, so B {\displaystyle B} is an (arbitrary) value type but B _ {\displaystyle {\underline {B}}} is a computation

φ ⊢ ψ {\displaystyle \varphi \vdash \psi } φ ⊢ ¬ ψ _ {\displaystyle {\underline {\varphi \vdash \lnot \psi }}} ¬ φ {\displaystyle \lnot \varphi } Reductio