Знак для отношения эквивалентности «на одной гиперболе»

Знак для отношения эквивалентности «на одной гиперболе»

Мне нужен символ для отношения эквивалентности, означающего «на той же гиперболе $xy=c$».

Есть ли стандартная нотация? Если нет, то я думаю о чем-то на мотив

гиперболическая эквивалентность

Есть ли у вас идеи по созданию подобного знака или способа его создания путем наложения или иным способом, совместимым со средами arXiv, LNCS и AMS?

решение1

Ваш символ немного сложный. Поскольку я не знаю стандартного символа, предлагаю следующее:

введите описание изображения здесь

который формируется путем наложения двух стандартных символов ( \asympи -) и не требует дополнительных пакетов. Он выглядит (для меня) как гиперболическая версия \equiv( ).

\documentclass{article}

\newcommand{\samehyp}{\mathrel{\ooalign{\hfil$\asymp$\hfil\cr\hfil$-$\hfil\cr}}}

\begin{document}

$(a,b)\samehyp(c,d)$

\end{document}

Для общих инструкций по созданию собственных символов я предлагаюэтот вопроси его ответы.

Примечание: Если вы планируете использовать этот символ \scriptstyleили \scriptscriptstyleвам понадобится более сложная версия, которая будет адаптироваться к изменениям стиля:

введите описание изображения здесь

\documentclass{article}

%\newcommand{\samehyp}{\mathrel{\ooalign{\hfil$\asymp$\hfil\cr\hfil$-$\hfil\cr}}}
\makeatletter
\newcommand{\samehyp}{\mathrel{\mathpalette\s@mehyp\relax}}
\newcommand{\s@mehyp}[2]{%
  \ooalign{%
    $\m@th#1\asymp$\cr
    \hidewidth$\m@th#1-$\hidewidth\cr
  }%
}
\makeatother


\begin{document}

$(a,b)\samehyp(c,d)_{(a,b)\samehyp(c,d)_{(a,b)\samehyp(c,d)}}$

\end{document}

Если вы действительно хотите символ, который вы набросали, вам, вероятно, придется разработать его самостоятельно. Я предлагаю tikz(для разработки символа) и scalerelсделать его того же размера, что и символ по вашему выбору (я выбрал +).

введите описание изображения здесь

\documentclass{article}

\usepackage{tikz,scalerel}

\newcommand{\samehyp}{\mathrel{\scalerel*{\tikz{\draw[line width=2pt](0,.3)--(1,.3)(0,.5)--(1,.5)(0,.7)--(1,.7)(.6,1)to[out=-90,in=180](1,.6)(.4,0)to[out=90,in=0](0,.4);}}{+}}}

\begin{document}

$(a,b)\samehyp(c,d)$

\end{document}

Связанный контент