math-mode
I'm writing an exercise about the Kuratowski closure-complement problem.
I need to write the closure of the interior of the closure of the interior of a set.
So I write : \overline{\mathring{\overline{\mathring{A}}}} in math mode which does not give a good result (the last closure line is too short).
Can you help me?
The double brackets are defined in stmaryrd as \llbracket and \rrbracket.
For the other symbols, provided they have to be used only in display mode, you can define
\DeclareMathOperator*{\bigdoublewedge}{\bigwedge\mkern-15mu\bigwedge}
\DeclareMathOperator*{\bigdoublevee}{\bigvee\mkern-15mu\bigvee}
MWE
\documentclass{article}
\usepackage{amsmath,stmaryrd}
\DeclareMathOperator*{\bigdoublewedge}{\bigwedge\mkern-15mu\bigwedge}
\DeclareMathOperator*{\bigdoublevee}{\bigvee\mkern-15mu\bigvee}
\begin{document}
\[\bigdoublewedge_{i\leq 0}\varphi_{i}=\varphi_{0}\qquad
\bigdoublevee_{i\leq 0}\varphi_{i}=\varphi_{0}\qquad
\llbracket p_{1} \rrbracket_{v}\]
\end{document}
If \bigdoublewedge and \bigdoublevee have to be used not only in display mode, the following definitions are more suitable
\newcommand{\bigdoublewedge}{%
\mathop{
\mathchoice{\bigwedge\mkern-15mu\bigwedge}
{\bigwedge\mkern-12.5mu\bigwedge}
{\bigwedge\mkern-12.5mu\bigwedge}
{\bigwedge\mkern-11mu\bigwedge}
}
}
\newcommand{\bigdoublevee}{%
\mathop{
\mathchoice{\bigvee\mkern-15mu\bigvee}
{\bigvee\mkern-12.5mu\bigvee}
{\bigvee\mkern-12.5mu\bigvee}
{\bigvee\mkern-11mu\bigvee}
}
}
MWE:
\documentclass{article}
\usepackage{amsmath}
\newcommand{\bigdoublewedge}{%
\mathop{
\mathchoice{\bigwedge\mkern-15mu\bigwedge}
{\bigwedge\mkern-12.5mu\bigwedge}
{\bigwedge\mkern-12.5mu\bigwedge}
{\bigwedge\mkern-11mu\bigwedge}
}
}
\newcommand{\bigdoublevee}{%
\mathop{
\mathchoice{\bigvee\mkern-15mu\bigvee}
{\bigvee\mkern-12.5mu\bigvee}
{\bigvee\mkern-12.5mu\bigvee}
{\bigvee\mkern-11mu\bigvee}
}
}
\begin{document}
\[\bigdoublewedge_{i\leq 0}\varphi_{i}=\varphi_{0}\qquad
\bigdoublevee_{i\leq 0}\varphi_{i}=\varphi_{0}\]
\[\textstyle\bigdoublewedge_{i\leq 0}\varphi_{i}=\varphi_{0}\qquad
\bigdoublevee_{i\leq 0}\varphi_{i}=\varphi_{0}\]
\[\scriptstyle\bigdoublewedge_{i\leq 0}\varphi_{i}=\varphi_{0}\qquad
\bigdoublevee_{i\leq 0}\varphi_{i}=\varphi_{0}\]
\[\scriptscriptstyle\bigdoublewedge_{i\leq 0}\varphi_{i}=\varphi_{0}\qquad
\bigdoublevee_{i\leq 0}\varphi_{i}=\varphi_{0}\]
\end{document}
Based on David's answer, but with the fonts set up in a way to reveal as much about the commands as possible.
\text just uses the text mode from "outside" with all the formatting.\textup is similar, only upright.\textnormal sets its content back to the normal document font without any other formatting.\textrm keeps all the text formatting, it only resets the font family.\mathrm behaves differently, I think of it as upright math mode, which is shown in my example text with the CM font, the minus sign, gobbled space and square root without the compiler complaining about switching into math mode—it already is.There is no definitive answer in my mind. Depending on how much formatting you want to keep, choose your command among the \text... commands. Text mode is sans-serif italic in my example.
\documentclass{article}
\usepackage{amsmath} % for \text
\usepackage{newtxtext} % Times-like font
\obeylines % automatic linebreaks
\begin{document}
default textmode
\sffamily\itshape
current textmode
\(\text{text}\)
\(\textup{textup}\)
\(\textnormal{textnormal}\)
\(\textrm{textrm}\)
\(\mathrm{m ath rm-\sqrt{f}}\)
\end{document}
Best Answer
Add a little bit of space before doing the last overline:
gives