Как зачеркнуть \xrightarrow ?

[AD]

Есть такая команда \xrightarrow, позволяющая рисовать растягивающуюся стрелочку с пределами:

$a_n\xrightarrow[n\to\infty]{}a$

$a_n\xrightarrow[n\to\infty]{}a$

А как грамотно записать, что $a_n$ не стремится к $a$?

Вариант
$a_n\not\xrightarrow[n\to\infty]{}a$

$a_n\not\xrightarrow[n\to\infty]{}a$

выглядит ужасно.

[Алексей К.]

Грамотно не знаю, но, может временно Вас устроит безграмотное решение?
$a_n\xrightarrow[n\to\infty]{}a\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\not{}$

Код даже приводить стыдно. Это как трисекция угла с помощью спирали Архимеда.

[AD]

Ну уже неплохо. Я так не додумался.

Тогда уж так: $a_n\xrightarrow[n\to\infty]{}a\hskip-10mm\not{}$

Взаимно. 

Все-таки подождём грамотного решения, if any.

[Алексей К.]

Моё, наверное, чуть менее хуже, ибо хоть какую-то гомотетию в себе несёт. А Вы зафиксировали сдвиг в -10мм независимо от 9pt-artiсle, 12pt... Тогда уж в em-ах сдвигайте. И на всякий случай --- обратный +сдвиг, возврат текущей точки.

[AD]

Алексей К., да, согласен по всем пунктам.

Добавлено спустя 6 минут 6 секунд:

Забавно. Поменял в профиле размер формул на "Largest" - оба варианта смотрятся правильно. То есть размер картинки не есть размер шрифта, использованного при ее генереровании.

[Алексей К.]

$$ \begin{array}{l} \mbox{Товарищ Ленин,}\\ \hskip 3em\mbox{работа {\bf A\!D}ова}\\ \mbox{будет сделана}\\ \hskip 3em\mbox{и делается уже!}\\\strut\\ \hskip 7em\mbox{\it В. Маяковский.} \end{array} $$

[luitzen]

$$ \makeatletter a_n \mathrel{\mathpalette\c@ncel{\xrightarrow[\mathstrut n\to\infty]{}}} a \makeatother $$

[AD]

luitzen писал(а):

$$ \makeatletter a_n \mathrel{\mathpalette\c@ncel{\xrightarrow[\mathstrut n\to\infty]{}}} a \makeatother $$

Ух ты. Попробую, доложу.

Добавлено спустя 2 часа 38 минут 43 секунды:

luitzen, подскажите, пожалуйста, почему у меня не получается сделать из вашего примера макрос? Что я делаю не так?

$$\def\notxrightarrow#1#2{\makeatletter \mathrel{\mathpalette\c@ncel{\xrightarrow[\mathstrut {#1}\to{#2}]{}}} \makeatother} a_n\notxrightarrow{n}{\infty} a$$

$$\def\notxrightarrow#1#2{\makeatletter \mathrel{\mathpalette\c@ncel{\xrightarrow[\mathstrut {#1}\to{#2}]{}}} \makeatother}
a_n\notxrightarrow{n}{\infty} a$$

[luitzen]

Тогда уж так:

$$
\makeatletter
\def
\notxrightarrow#1#2
{\mathrel{\mathpalette\c@ncel{\xrightarrow[\mathstrut{#1}\to{#2}]{}}}}
\makeatother
a_n \notxrightarrow{n}{\infty} a
$$

A \def на форуме не работает (говорят).

[AD]

luitzen! Спасибо, всё работает!

$$\makeatletter \def \notxrightarrow#1#2 {\mathrel{\mathpalette\c@ncel{\xrightarrow[\mathstrut{#1}\to{#2}]{}}}} \makeatother a_n \notxrightarrow{n}{\infty} a$$

[AD]

Еще один вопрос на тему \xrightarrow. А существует ли аналогичная стрелочка для равномерной сходимости (саморастягивающаяся $\rightrightarrows$)?
"\xrightrightarrows" не получается.

[luitzen]

Это сложно.

Быть может, Вас устроит «x-вариант» вот этого: $\makeatletter \mathrel{\mathpalette{\vcenter{\m@th\hbox{\ooalign{\raise2pt\hbox{$\rightharpoonup$}\crcr$\rightharpoondown$}}}}{}} \makeatother$ ?

А ещё я где-то встречал запись $f_n \xrightarrow[n \to \infty]{\hbox{\scriptsize uniformly}} f$.