如何写带有垂直线的波浪号？

Question

我想写一个带有垂直线的波浪符号，例如

感谢您的帮助 ：）

我在哪里找到它：

解决方案：

\documentclass{article}
\usepackage{stackengine,amssymb}
\def\vTilde{\mathbin{\ensurestackMath{%
  \stackengine{0pt}{\mkern-1.5mu\vert}{\sim}{O}{l}{F}{F}{L}}}}
\begin{document}
\[
a \mathbin{\vTilde} b
\]
\end{document}

Answer 1

为什么不简单呢|\kern-0.48em\sim？

---

\documentclass{article}
\begin{document}
Reiter'schen Inferezrelation 
$|\kern-0.48em\sim_\Delta^{Reiter}$ 
aus W ...
\end{document}

Answer 2

第一个近似值是

\mathrel{|}\joinrel\sim

但它并不完美：

由于\joinrel是

\mathrel{\mkern-3mu}

我们可以调整它

\documentclass{article}
\usepackage{amsmath}

\newcommand{\rdfli}{\mathrel{|\mkern-3.6mu}\sim}

\begin{document}

$\rdfli_{\Delta}^{\mathrm{Reiter}}$

\end{document}

如果您还需要下标或上标中的符号，则需要在不同的数学样式中调整备份。

\documentclass{article}
\usepackage{amsmath}

\newcommand{\rdfli}{\mathrel{|\rdflibackup}\sim}
\newcommand{\rdflibackup}{\mathchoice{\mkern-3.6mu}{\mkern-3.6mu}{\mkern-4mu}{\mkern-4.5mu}}

\begin{document}

$\rdfli_{\Delta}^{\mathrm{Reiter}}$

$\scriptstyle\rdfli_{\Delta}^{\mathrm{Reiter}}$

$\scriptscriptstyle\rdfli_{\Delta}^{\mathrm{Reiter}}$

\end{document}

请注意，如果使用不同的字体，则需要修复此问题。例如，使用 NewTX 时，可能会出现

\newcommand{\rdflibackup}{\mathchoice{\mkern-3.5mu}{\mkern-3.5mu}{\mkern-3.9mu}{\mkern-3.9mu}}

添加。

让我们将我的提议与 Fran 的另一个提议进行比较。

\documentclass{article}
\usepackage{amsmath}
\usepackage{newtx}

\newcommand{\rdfli}{\mathrel{|\rdflibackup}\sim}
\newcommand{\rdflibackup}{\mathchoice{\mkern-3.5mu}{\mkern-3.5mu}{\mkern-3.9mu}{\mkern-3.9mu}}

\begin{document}

Here is a paragraph where we use $\rdfli_{\Delta}^{\mathrm{Reiter}}\varphi$ and also
$|\kern-0.48em\sim_\Delta^{\mathrm{Reiter}}\varphi$ to see whether the~symbols are good
in context.

\end{document}

我承认我有点作弊，但只是为了强调问题：根据 Fran 的提议，|和之间存在灵活的空间\sim，其效果可以在图中清楚地看到。