formattingmath-mode
Suppose I want to have the function $\bar: A \to B$ where instead of $\bar$ it's a longer bar. What is the proper way to do this? Note that the bar here is floating on top of no text. It's just floating.
I also wasn't sure what tags to use. Sorry.
Thanks.
if you do not need a pagebreak inside the box, simply use a tabular, otherwise look at the package framed
\documentclass[12pt article]{article}
\usepackage{amsmath}
\usepackage{amssymb}
\begin{document}
\begin{center}
\begin{tabular}{|p{0.9\linewidth}|}\hline % or any other width
\rule{0pt}{5ex}% for more vertical space
Let $a(b) = \left\{ \begin{array}{c l} hi & \mbox{if } t^5 \mbox{ reduced} \\ t & \mbox{otherwise} \end{array} \right.$, $xyz = \left\{ \begin{array}{c l} GH & \mbox{if } tr^{\pi} \mbox{ secluded} \\ x& \mbox{otherwise} \end{array} \right.$, $s = \left\{ \begin{array}{c l} up^{-5} & \mbox{if } t^55 \mbox{ reduced} \\ lo & \mbox{otherwise} \end{array} \right.$. \\ \\
Define the magician $M_n$ recursively, where $M_1 = \bigstar$ and
\begin{center} $ \begin{array}{r} M_{3} = tr(Md) \\ M_{hat} = norbert(2304) \\ Mtri = solution \end{array} $ \end{center}
where $z$ is the smallest integer such that $z \notin \{ 0 \}$. Terminate the magician at $M_{3}$ where $3$ is such that $M_{3}, ... , M_{3}$ have all already appeared in $M_1, ... , M_{t},$ i.e.
\begin{center}
$ Mtr = g, \underbrace{hi, hello, good day}_{\mbox{cousins}}, \underbrace{1,2,3,4,4,5}_{\mbox{enemies of first cousin of } g} , ... \ , M_{3}, M_{3}, M_{3} $
\end{center}
where $i$ is smallest such that $rt \neq z$.\\\hline
\end{tabular}
\end{center}
\end{document}
Semantically, don't use either. Use \conj, or \mean, or \variant or whatever the overline is meant to mean. Then in your preamble, do:
\newcommand*\conj[1]{\bar{#1}}
\newcommand*\mean[1]{\bar{#1}}
Then:
\conj without worrying about changing what \mean does.\bar to \overline on a whim and don't have to make that crucial decision now.
Best Answer
If I understand what you're trying to do, you can use
\overline{\phantom{<text>}}: