Символизм

[zuj]

Доброго времени суток уважаемые форумчане!

Вопрос у меня следующий:
Как правильно должна в LaTeX'е выглядеть следующая запись
$a$ не является полным делителем $b$, т.е. это должно быть что-то вроде этого $a\nparallel b$ ... но мне нравится сам символ $\nparallel$, вот $\mid\mid$ выглядит посимпатичней, но как его сделать перечеркнутым ума не приложу ...

А вообще интересует не то как симпатично, а то как правильно.

[Circiter]

Я сам очень плохо разбираюсь в \TeX/\LaTeX, но можно попробовать так: \makebox[-1.5\width]{$\mid\mid$}$\diagup$.

Делается вот так вот криво:

[math]\makebox[-1.5\width]{$\mid\mid$}$\diagup$[/math]

[zuj]

Вариант хороший; мне понравился. Но вопрос остался тем же: как правильно, а не как красиво.

-- Сб сен 19, 2009 12:08:20 --

Как чувствовал что переместят тему ... надо было сразу уточнить, что интересует не только реализация в LaTeX'е, но и как выглядит этот символ (... не является полным делителем ...) с "математической точки зрения". Реализовать его в коде это дело второе ... основное тут понять, что надо реализовывать.

[Xaositect]

Есть вроде общепринятые обозначения
$a\mid b$ - a делит b
$a\nmid b$ - a не делит b

[zuj]

Xaositect в сообщении #244718 писал(а):

Есть вроде общепринятые обозначения
$a\mid b$ - a делит b
$a\nmid b$ - a не делит b

Так то оно так, но я как обычно забыл добавить, что речь идет не просто о числах, а об эелементах некоторого кольца, т.е. согласно Кону(P.M. Cohn) нужно удвоить эти "палочки".