\vdash 和 \models 带有弯曲的水平线

Question

我怎样才能创建类似于的带有弯曲水平线的数学\vdash符号？\models\approx

解决方案：\def\modelx{\mathrel|\joinrel\approx}

Answer 1

像这样？

\documentclass{article}
\usepackage{amssymb}
\usepackage{graphicx}

\newcommand{\vapprox}{\mathrel{\scalebox{1}[1.5]{$\shortmid$}\mkern-3.1mu\raisebox{0.1ex}{$\approx$}}}
\newcommand{\vsim}{\mathrel{\scalebox{1}[1.5]{$\shortmid$}\mkern-3.1mu\raisebox{0.15ex}{$\sim$}}}

\begin{document}

    \[ A \vapprox B\vsim C\quad \]%

\end{document}