如何在数学模式中创建非常大的正斜杠？

Question

这是我想要达到的结果：

我尝试了各种命令来使正斜杠变得更大，例如，我尝试了\left. (...) \right /或组合多个\mathlarger命令，但我无法获得所需的结果，使用这两个命令，正斜杠都比正常的大，但甚至还不够大。

\documentclass{article}
\usepackage[utf8]{inputenc}
\usepackage{amssymb, amsmath, amsthm}


\title{Big forwardslash}
\author{Niccolò Della Rocca}
\date{July 2021}

\begin{document}

\[\left. 
                 V\otimes_{\mathbb C}W= \mathbb C\left[V\times W\right]\middle\slash
                \text{Span}
                    \begin{Bmatrix}
                        (\underline{v}+\underline{v}',\underline{w}) - (\underline{v},\underline{w}) - (\underline{v}',\underline{w}) \\
                        (\underline{v},\underline{w}+\underline{w}') - (\underline{v},\underline{w}) - (\underline{v},\underline{w}')\\
                        a(\underline{v},\underline{w}) - (a\underline{v},\underline{w})\\ 
                        a(\underline{v},\underline{w}) - (\underline{v},a\underline{w})\\
                        a\in\mathbb C,\:\underline{v}\in V,\:\underline{w}\in W
                    \end{Bmatrix}
                 \right.
            \]

\end{document}

Answer 1

你可以做到，但是应该你真的认为这是一个值得展示的好公式吗？我真的认为它不值得展示，原因如下：

1. 它很大并且很难阅读；
2. 它是不是张量积的定义方式（它是一方式，但人们从来不使用它，而是依赖于通用属性）。

无论如何，这里有一种方法可以做到。

首先：

1. \mathbb C语法不正确；使用\mathbb{C}；
2. 更好的是，定义你自己的命令；
3. 向量的下划线符号是非常老式的标记；
4. 更好地定义一个抽象命令，可以进行修改而不需要追逐文档\underline；
5. \text{Span}是错误的语法：在定理的陈述中尝试它；
6. 使用\DeclareMathOperator。

现在承诺的代码：

\documentclass{article}
\usepackage{amssymb, amsmath, amsthm}
\usepackage{l3draw}

\newcommand{\CC}{\mathbb{C}}
\newcommand{\vct}[1]{\underline{#1}}
\DeclareMathOperator{\Span}{Span}

\ExplSyntaxOn
\NewDocumentCommand{\reallybigslash}{O{2em}mm}
 {% #1 = width (default 2em)
  % #2 = left part
  % #3 = right part
  #2\!
  \begin{gathered}
  \bafforasta_reallybigslash:nnn { #1 } { #2 } { #3 }
  \end{gathered}
  \!#3
 }

\cs_new_protected:Nn \bafforasta_reallybigslash:nnn
 {
  \hbox_set:Nn \l_tmpa_box { $\displaystyle#2$ }
  \hbox_set:Nn \l_tmpb_box { $\displaystyle#3$ }
  \dim_set:Nn \l_tmpa_dim
   {
    \dim_max:nn { \box_ht:N \l_tmpa_box + \box_dp:N \l_tmpa_box }
                { \box_ht:N \l_tmpb_box + \box_dp:N \l_tmpb_box }
   }
  \draw_begin:
  \draw_linewidth:n { 0.75pt }
  \draw_path_moveto:n { 0pt , 0pt }
  \draw_path_lineto:n { #1 , \l_tmpa_dim }
  \draw_path_use_clear:n { stroke }
  \draw_end:
 }

\ExplSyntaxOff

\title{Big forwardslash}
\author{Niccolò Della Rocca}
\date{July 2021}

\begin{document}

\[
\reallybigslash{
  V\otimes_{\CC}W= \CC[V\times W]
}{
  \Span\left\{
  \begin{matrix}
    (\vct{v}+\vct{v}',\vct{w}) - (\vct{v},\vct{w}) - (\vct{v}',\vct{w}) \\
    (\vct{v},\vct{w}+\vct{w}') - (\vct{v},\vct{w}) - (\vct{v},\vct{w}')\\
    a(\vct{v},\vct{w}) - (a\vct{v},\vct{w})\\ 
    a(\vct{v},\vct{w}) - (\vct{v},a\vct{w})\\
    a\in\CC,\vct{v}\in V,\vct{w}\in W
  \end{matrix}
  \right\}
}
\]

\end{document}

该\reallybigslash命令有一个可选参数来设置斜线的宽度。例如，

\reallybigslash[1em]{...}{...}

（其中的点代表与之前相同的意思）你得到

Answer 2

该unicode-math包支持自动缩放\middle\slash（\middle\fracslash如果数学字体支持的话）。

\documentclass{article}
\usepackage{unicode-math}


\title{Big forwardslash}
\author{Niccolò Della Rocca}
\date{July 2021}

\begin{document}

\[\left. 
                \left. V\otimes_{\mathbb C}W= \mathbb C[V\times W\right]\middle\slash
                \text{Span}
                    \begin{Bmatrix}
                        (\underline{v}+\underline{v}',\underline{w}) - (\underline{v},\underline{w}) - (\underline{v}',\underline{w}) \\
                        (\underline{v},\underline{w}+\underline{w}') - (\underline{v},\underline{w}) - (\underline{v},\underline{w}')\\
                        a(\underline{v},\underline{w}) - (a\underline{v},\underline{w})\\ 
                        a(\underline{v},\underline{w}) - (\underline{v},a\underline{w})\\
                        a\in\mathbb C,\:\underline{v}\in V,\:\underline{w}\in W
                    \end{Bmatrix}
                 \right.
            \]

\end{document}

这需要 LuaLaTeX 或 XeLaTeX。