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

[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

[allocco.livejournal.com]

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

[posic.livejournal.com]

О, спасибо.