\varprojlim 和 \varinjlim 的对齐问题

\varprojlim 和 \varinjlim 的对齐问题

我想用箭头替换文档中的默认箭头。但是,字形与宏和tikz angle 45不太匹配。箭头的水平对齐有点偏离,限制符号之间的水平间距似乎比以前更大。我怎样才能正确居中箭头并删除符号周围的多余空格?\varprojlim\varinjlim

在此处输入图片描述

梅威瑟:

\documentclass{article}
\usepackage{amsmath}
\usepackage{tikz}
\usetikzlibrary{arrows,arrows.meta}

\renewcommand{\rightarrow}{\vcenter{\hbox{
    \begin{tikzpicture}[>=angle 45] \draw[->] (0, 0) -- (10pt, 0); \end{tikzpicture}
}}}

\renewcommand{\leftarrow}{\vcenter{\hbox{
    \begin{tikzpicture}[>=angle 45] \draw[<-] (0, 0) -- (10pt, 0); \end{tikzpicture}
}}}

\begin{document}

\[
\textstyle\varprojlim_{A \subseteq B} \quad \textstyle\varinjlim_{A \subseteq B}
\]

\end{document}

\varprojlim和的原始定义\varinjlim

\def\varlim@#1#2{\mathop{\vtop{\ialign{##\crcr
 \hfil$#1\m@th\operator@font lim$\hfil\crcr
 \noalign{\nointerlineskip}#2#1\crcr
 \noalign{\nointerlineskip\kern-\ex@}\crcr}}}}
\def\varinjlim{\mathpalette\varlim@\rightarrowfill@}
\def\varprojlim{\mathpalette\varlim@\leftarrowfill@}

相关内容