☰

表示两个物体的商的符号

tag-icon • tag-icon math-mode symbols fractions
表示两个物体的商的符号

人们经常需要一个符号来表示两个（代数）对象的商（例如，子群、子环、子模等的商）。在简单的情况下，人们使用A/B。但是当和都A很难B写时，这看起来就不太好。例如 \mathcal{O}_{(V',0)}/\mathcal{O}_{(V,0)}

由于某些原因，人们不使用 just \frac{A}{B}。有没有办法实现以下目标：

$A$升高一点，然后\Big/降低$B$一点。

答案1

如何使用\left、\right和\raisebox？

\newcommand{\bigslant}[2]{{\raisebox{.2em}{$#1$}\left/\raisebox{-.2em}{$#2$}\right.}}

\begin{equation}
\bigslant{\mathcal{O}_{(V',0)}}{\mathcal{O}_{(V,0)}}
\end{equation}

这使

替代文本

唯一的问题是我需要在 es 中重新进入数学模式\raisebox。有人知道如何避免这种情况吗？

答案2

如果你想调用“别人的问题”原则，还有因素包，表面上看，它被设计用来做你想做的事情，并且使用 AMS 符号来实现\diagup。但恕我直言，这个斜线有点小。

对于行内表达式，还可以考虑nicefrac包，使得“分母”和“分子”都变小。

答案3

正如前面提到的，有两个包可以解决这个问题：

  • 分数阶n/d- 以一般形式排版分数
  • 因素- 尤其是排版因子结构

\sfrac{n}{d}以下是和命令之间的比较\faktor{n}{d}，也展示了它们与普通文本相比的行为： sfrac 与 faktor 的比较

\documentclass[12pt,preview, border={2pt,2pt,2pt,2pt}]{standalone}
\usepackage[english]{babel}    
\usepackage{xfrac}    
\usepackage{amsmath}
\usepackage[amsmath,thmmarks,standard]{ntheorem}
\usepackage{faktor}

\begin{document}
\begin{alignat*}{4}
\text{This } &\sfrac{\mathcal{O}_{(V',0)}}{\mathcal{O}_{(V,0)}} &\text{ and this } &\sfrac{\mathcal{S}^n}{\equiv_m} &\text{ and this } &\sfrac{A}{B} &&\text{ is \texttt{sfrac}.}\\
\text{This } &\faktor{\mathcal{O}_{(V',0)}}{\mathcal{O}_{(V,0)}} &\text{ and this } &\faktor{\mathcal{S}^n}{\equiv_m} &\text{ and this } &\faktor{A}{B} &&\text{ is \texttt{faktor}.}
\end{alignat*}
\end{document}

答案4

就像是：

\documentclass{article}

\def\quotient#1#2{%
    \raise1ex\hbox{$#1$}\Big/\lower1ex\hbox{$#2$}%
}

\begin{document}
\[
\quotient{\mathcal{O}_{(V',0)}}{\mathcal{O}_{(V,0)}}
\]
\end{document}

更新，这是一个非常简单的例子：

\def\quotient#1#2{%
    \raise1ex\hbox{$#1$}\Big/\lower1ex\hbox{$#2$}%
}

$$
\quotient{{\cal O}_{(V',0)}}{{\cal O}_{(V,0)}}
$$
\bye

相关内容