如果可能的话,我希望 f(P)f(Q) 上的箭头更长一些,但不改变行之间的默认间距。这是一个最小的工作示例:
\documentclass[a4paper]{article}
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage[italian]{babel}
\usepackage{fullpage}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{mathtools}
\newcommand{\pnt}[1]{\textsc{{#1}}}
\newcommand{\pntvec}[1]{\overset{\to}{\textsc{{#1}}}}
\begin{document}
Siano $A$ uno spazio affine su $V$ e $A'$ uno spazio
affine su $V'$. Un \emph{isomorfismo tra $A$ e $A'$} è
un'applicazione $f \colon A \to A'$ tale che
\[
\exists \, \varphi \colon V \to V' \hspace{1.5mm}
\textup{isomorfismo} \hspace{0.5mm} \mid \hspace{0.5mm}
\overset{\longrightarrow}{f(\pnt{p})f(\pnt{q})} \, = \,
\varphi(\pntvec{pq}) \quad \forall \, \pnt{p}, \pnt{q}
\in A
\]
$\varphi$ si dice \emph{isomorfismo associato a $f$}.
\end{document}
答案1
正如@campa 的评论所指出的,您有\overrightarrow
命令。我建议加载时old-arrows
使用较小的箭头尖,这样箭头尖就不会接触大写字母的顶部。
另一种可能性是 package esvect
,它通过选项有 8 个不同的箭头。以下是两者的演示:
\documentclass[a4paper]{article}
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage[italian]{babel}
\usepackage{fullpage}
\usepackage{old-arrows}
\usepackage[b]{esvect}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{mathtools}
\newcommand{\pnt}[1]{\textsc{{#1}}}
\newcommand{\pntvec}[1]{\overrightarrow{\textsc{{#1}}}}
\begin{document}
Siano $A$ uno spazio affine su $V$ e $A'$ uno spazio
affine su $V'$. Un \emph{isomorfismo tra $A$ e $A'$} è
un'applicazione $f \colon A \to A'$ tale che
\[
\exists \, \varphi \colon V \to V' \hspace{1.5mm}
\textup{isomorfismo} \hspace{0.5mm} \mid \hspace{0.5mm}
\overrightarrow{f(\pnt{p})f(\pnt{q})} \, = \,
\varphi(\pntvec{pq}) \quad \forall \, \pnt{p}, \pnt{q}
\in A
\]
$\varphi$ si dice \emph{isomorfismo associato a $f$}.
\bigskip
Variant with \texttt{esvect}: \quad $ \vv{f(\pnt{p})f(\pnt{q})} \, = \,
\varphi(\vv{\pnt{pq}}) \quad \forall \, \pnt{p}, \pnt{q}\in A$
\end{document}