[Tex/LaTex] Symbol for m by n matrix

math-modemath-operators

I have been using m \times n to denote the size of a matrix. But lately I've decided that it has too much space and doesn't look quite right (to me). Presumably the largish spaces are present because LaTeX treats \times as a mathematical operator — it thinks I'm writing $m$ multiplied by $n$ .

So, I'd like to define a \by symbol, so that I can write m \by n instead of m \times n, and get reduced spacing. The obvious approach is to define \by to be \hspace{-0.1em}\times\hspace{-0.1em}, or something like that.

Does that seem like a good approach? I'm a bit worried about what will happen if I use this in superscripts.

Edit: I ended up using

\newcommand{\by}{\hspace{0.05em}{\times}\hspace{0.05em}}

Best Answer

You could use $m{\times}n$ so that you get mathord spacing (i.e. no extra space) rather than the default mathbin spacing,

Related Solutions

[Tex/LaTex] LaTeX symbol for ‘order’

From your comment it became clear that you were looking for the order operator.

In case somebody finds this question but is looking for the order (of magnitude):

\documentclass{article}
\DeclareRobustCommand{\orderof}{\ensuremath{\mathcal{O}}}
\begin{document}
$\orderof\left( 1234\right) =10^{3}$
\end{document}

[Tex/LaTex] double perpendicular symbol (for independence)

\mathpalette: See The mysteries of \mathpalette.
\rlap: This is referred to as a right overlap. That is, it makes a box of width 0pt, and aligns the contents within to the left, similar to \makebox[0pt][l]{<stuff>}, causing the contents to overlap to the right.
\mkern: Kerning (or spacing) in math mode. The unit of measure is mu (or math units). So, \mkern2mu inserts a kern or space of 2mu horizontally. For a take on these lengths (and others), see What are the possible dimensions / sizes / units LaTeX understands?

Specific to your question about how this works:

enter image description here

\documentclass{article}
\newcommand\independent{\protect\mathpalette{\protect\independenT}{\perp}}
\def\independenT#1#2{\mathrel{\rlap{$#1#2$}\mkern2mu{#1#2}}}
\begin{document}
$X \independent Y$ \par
$\scriptstyle X \independent Y$ \par
$\scriptscriptstyle X \independent Y$ \par

\bigskip

$X \independent Y_{X \independent Y_{X \independent Y}}$
\end{document}

The use of \mathpalette - defined internally as a specialized \mathchoice - allows the input to do defined in a way that captures the current math style. Note that there are four different math styles: \displaystyle, \textstyle, \scriptstyle and \scriptscriptstyle.

The above MWE shows how the single command \independent scales to regardless of where it's used, all because of a nifty use of \mathpalette and a helper macro \independenT. The helper macro captures the current math style and re-uses it inside an \rlap. The double use of the symbol is just for spacing purposes, adding to the \mkern insertion. That is, it sets the symbol \perp (of width 0pt and right overlap), inserts of 2mu kern (pushing the "cursor" to the right 2mus) and then inserts the symbol again. Since the symbol is set in the same style, the horizontal bar overlaps, but the vertical bar is spaced 2mu apart. As a final take on mathematical spacing, the entire symbol is set as a relation using \mathrel.

Best Answer

Related Solutions

[Tex/LaTex] LaTeX symbol for ‘order’

[Tex/LaTex] double perpendicular symbol (for independence)

Related Question