Обозначения, обозначения

[posic]

Квазикогерентный пучок на аффинной схеме, соответствующий модулю M над кольцом функций, традиционно обозначается через M с тильдой. Как бы обозначить контрагерентный копучок, соответствующий модулю P ?

Черта обозначает приведение по модулю. Крышка обозначает пополнение. Галочка сбоку наводит на мысль о двойственном объекте. Ощущение, что не хватает большой галочки сверху, акцента \widecheck.

Гугль выдает такие советы:
http://www.physicsforums.com/archive/index.php/t-262937.html
http://tex.stackexchange.com/questions/44235/is-there-a-way-to-do-an-upside-down-widehat
http://tex.stackexchange.com/questions/69323/wideparen-in-ams-class

сводящиеся к тому, что нужен пакет mathabx, или хотя бы шрифт mathx. В нынешней инсталляции у меня на компьютере их нет, но, допустим, мне даже удалось бы их скачать и поставить согласно инструкциям. Могу ли я как-нибудь предварительно убедиться, что этот пакет (или хотя бы шрифт) известен Архиву?

Comments

[jedal]

А рецепт из http://tex.stackexchange.com/a/48419/85 не работает? (Он ничего не требует, на первый взгляд.)

[posic.livejournal.com]

Это я видел, да. А вы понимаете, как этот код работает (или должен работать)?

[posic.livejournal.com]

Попробовал.
1. Предсказуемая жалоба на \@. Поставил \makeatletter, \makeatother вокруг.
2. Жалоба на неизвестную команду \scalebox. Поискал Гуглем, нашел, что она из пакета graphicx. Добавил вызов этого пакета.
3. Скомпилировалось без ошибок. На экране привычная крышка (неотличимая от \widehat) на месте, где должен был быть изображен \widecheck.

[allocco.livejournal.com]

На архиве есть работы, в которых этот пакет используется и всё работает нормально. Например, http://arxiv.org/abs/1101.5810.

[posic.livejournal.com]

О, спасибо.