原始递归截止减号用什么符号表示?

原始递归截止减号用什么符号表示?

我使用$\overset{.}{-}$自然数之间的原始递归函数,$m\overset{.}{-}n$例如n如果m>=n否则0. 有没有更好、更规范的数学文本替代品?

答案1

堆栈是一种选择。.和之间的垂直间隙-由当前 的参数设置{-1pt}

\documentclass{article}
\usepackage{amsmath,stackengine}
\def\prf{\ensurestackMath{\mathbin{\stackengine{-1pt}{-}{.}{O}{c}{F}{F}{S}}}}
\begin{document}
$m \prf n$ is $m$ minus $n$ if $m\geq n$ and otherwise $0$.
\end{document}

在此处输入图片描述

答案2

只有少数数学字体提供该符号,从这些字体导入该符号可能会与其他符号冲突。

你可以自己构建它:

\documentclass{article}
\usepackage{amsmath}

\makeatletter
\newcommand{\prc}{\mathbin{\mathpalette\prc@inner\relax}}
\newcommand{\prc@inner}[2]{%
  \vbox{\offinterlineskip\m@th
    \ialign{%
      ##\cr
      \hidewidth\raisebox{-1.5\height}[0pt][0pt]{$#1.$}\hidewidth\cr
      $#1-$\cr
    }%
  }%
}
\makeatother

\begin{document}

\[
x\prc y-\sum_{i=a\prc b}^{n}a_i
\]

\end{document}

如您所见,它在下标中缩放得很好。1.5如果距离不适合您,请修改该因子。

在此处输入图片描述

Barbara Beeton 建议的一项可能的改进是将符号与 进行比较\div。点会略小一些,但我们可以缩放它。

\documentclass{article}
\usepackage{amsmath,graphicx}

\makeatletter
\newcommand{\prc}{\mathbin{\mathpalette\prc@inner\relax}}
\newcommand{\prc@inner}[2]{%
  \vbox{\offinterlineskip\m@th
    \halign{%
      ##\cr
      \hidewidth
      \raisebox{-1.45\height}[0pt][0pt]{\scalebox{1.2}{$#1.$}}%
      \hidewidth\cr
      $#1-$\cr
    }%
  }%
}
\makeatother

\begin{document}

\[
x\prc y-\sum_{i=a\prc b}^{n}a_i \quad {\prc}{\div}
\]

\end{document}

在此处输入图片描述

答案3

在此处输入图片描述

\documentclass{article}
\usepackage{MnSymbol}
\begin{document}
$x\dotminus y$
\end{document}

正如 Barbara 在评论中指出的那样,MnSymbol 替换了所有符号,这样做的好处是符号的风格相似。如果您只想访问这个单个符号,则必须提取 的相关部分MnSymbol.sty

\documentclass{article}
% http://tex.stackexchange.com/a/36088
\DeclareFontFamily{U}{MnSymbolC}{}
\DeclareFontShape{U}{MnSymbolC}{m}{n}{
    <-6>  MnSymbolC5
   <6-7>  MnSymbolC6
   <7-8>  MnSymbolC7
   <8-9>  MnSymbolC8
   <9-10> MnSymbolC9
  <10-12> MnSymbolC10
  <12->   MnSymbolC12}{}
\DeclareSymbolFont{MnSyC}{U}{MnSymbolC}{m}{n}
\DeclareMathSymbol{\dotminus}{\mathbin}{MnSyC}{24}
\begin{document}
$x\dotminus y$
\end{document}

答案4

在此处输入图片描述

\documentclass{article}
\usepackage{mathabx}
\begin{document}
$x\dotdiv y$
\end{document}

正如 Enrico 在评论中指出的那样,mathabx 替换了所有符号,这样做的好处是符号的风格相似。如果您只想访问这个单个符号,则必须提取 的相关部分mathabx.sty

\documentclass{article}
\DeclareFontFamily{U}{mathb}{\hyphenchar\font45}
\DeclareFontShape{U}{mathb}{m}{n}{
      <5> <6> <7> <8> <9> <10> gen * mathb
      <10.95> mathb10 <12> <14.4> <17.28> <20.74> <24.88> mathb12
      }{}
\DeclareSymbolFont{mathb}{U}{mathb}{m}{n}
\DeclareMathSymbol{\dotdiv}{2}{mathb}{"01}
\begin{document}
$x\dotdiv y$

\结束{文档}

相关内容