Underset minuscule m to \(\models\) and \(\vdash\)?

Question

Given the following MWE, based upon the answer by Steven B. Segletes to the question Overset and vertical align, may one obtain corresponding (\models) and (\vdash) with underset minuscule m?

\documentclass{article}
\usepackage{stackengine,amsmath}
\newcommand\oversetnorm{.4\normalbaselineskip}
\makeatletter
\newcommand\myoverset[3][\oversetnorm]{%
    \binrel@{#3}\binrel@@{\mathop{\ensurestackMath{%
                \stackengine{#1}{#3}{\scriptstyle#2}{O}{c}{F}{F}{L}}}}}
\makeatother
\begin{document}
\(\myoverset{\textsc{m}}{\models\,}\), \(\myoverset{\textsc{m}}{\vdash\,}\) 



\end{document}

egreg · Accepted Answer · 2022-11-07T23:35:19.460

2

I guess you want something similar to the following.

I redefined \models as I can't really stand the default rendering.

\documentclass{article}
\usepackage{amsmath}
\usepackage{graphicx}
\makeatletter
% redefine \models to be similar to \vdash
\renewcommand{\models}{\mathrel{\mathpalette\models@\relax}}
\newcommand{\models@}[2]{%
  \begingroup
  \mspace{-1.3mu}%
  \sbox\z@{$\m@th#1\vdash$}
  \resizebox{\width}{\dimexpr\ht\z@+\dp\z@}{\raisebox{\depth}{$\m@th#1|$}}%
  \mspace{-3.8mu}%
  \nonscript\mspace{0.8mu}%
  \raisebox{0.25\height}{\resizebox{\wd\z@}{\height}{$\m@th#1=$}}%
  \endgroup
}
\newcommand{\inset}[1]{\mathrel{\mathpalette\inset@{#1}}}
\newcommand{\inset@}[2]{%
  \makebox[0pt][l]{$\m@th#1\mspace{3mu}_{#2}$}
}
\makeatother
\newcommand{\mmodels}{\inset{\scriptscriptstyle\textnormal{\scshape m}}\models}
\newcommand{\mvdash}{\inset{\scriptscriptstyle\textnormal{\scshape m}}\vdash}
\begin{document}
(\models\vdash)
\quad(\scriptstyle\models\vdash\scriptscriptstyle\models\vdash)
(\mmodels\mvdash)
\end{document}

edited Nov 07 '22 at 23:35

answered Nov 07 '22 at 23:17

egreg

1,121,712

The code complies with me. – Frode Alfson Bjørdal Nov 07 '22 at 23:25
1

@Sapiens Yes, sorry: I copied the wrong thing. – egreg Nov 07 '22 at 23:30
I appreciate your redefinition of \models – Frode Alfson Bjørdal Nov 07 '22 at 23:34
@Sapiens I did a small change – egreg Nov 07 '22 at 23:35
As you will understand, I want the underset minuscule m to not extend below the vertical bar of \vdash or \models. May that be done? – Frode Alfson Bjørdal Nov 07 '22 at 23:36
1

@Sapiens That would require a very tiny M – egreg Nov 07 '22 at 23:37
You are right, it was not precisely what I wanted. But if I erase \scshape and use \newcommand{\mmodels}{\inset{\textnormal{m}}\models} \newcommand{\mvdash}{\inset{\textnormal{m}}\vdash},(\mmodels) does not look good. – Frode Alfson Bjørdal Nov 08 '22 at 00:19
I resolved it by using \newcommand{\mmodels}{\inset{\textnormal{\tiny m}}\models} \newcommand{\mvdash}{\inset{\textnormal{\tiny m}}\vdash} – Frode Alfson Bjørdal Nov 08 '22 at 00:21

Underset minuscule m to \(\models\) and \(\vdash\)?

1 Answers1

Linked