Специальные символы в теории графов

[Dext]

Подскажите, пожалуйста, как правильно набирать эти символы

$\shortmid\!\!\!-\!\!\!\shortmid$ и $\shortmid\!=\!\shortmid$.

В Википедии и во Львовском не нашёл

[chessar]

На CTAN не искали?

[Dext]

chessar, спасибо за CTAN.

Увы, и в нём отсутстуют.

[Munin]

Руководства по TeX-у (например, Pakin S. The comprehensive LaTeX symbol list) рекомендуют в случае необходимости составлять символы самостоятельно. В этом нет ничего плохого, потому что многие символы в стандартных наборах и так составлены из деталей, а в шрифтах для них только заготовки. И в TeX-е есть специальные средства для таких действий.

Например, для состыковки вплотную используется \joinrel:
\shortmid\joinrel\mathrel-\joinrel\shortmid $\shortmid\joinrel\mathrel-\joinrel\shortmid$

Для рисования символа, накладывающегося на другой символ, используются команды \llap, \rlap, и \makebox[0pt][lr]:
\makebox[0pt][l]{\to}0 $\makebox[0pt][l]{\to}0$
0\makebox[0pt][r]{\to} $0\makebox[0pt][r]{\to}$

Можно использовать невидимые символы \phantom, \vphantom, \hphantom, \mathstrut, например, чтобы рисовать акценты к ним:
|\ddot{\phantom{x}}| $|\ddot{\phantom{x}}|$
\exp(\hphantom{\sin\alpha}) $\exp(\hphantom{\sin\alpha})$
\begin{pmatrix}\int\\\vphantom{x}\\\int\end{pmatrix} $\begin{pmatrix}\int\\\vphantom{x}\\\int\end{pmatrix}$

Подгонять положение по вертикали можно командой \raisebox с положительным или отрицательным аргументом:
x\mathrel{\raisebox{-3pt}{=}}y $x\mathrel{\raisebox{-3pt}{=}}y$

И наконец, чтобы не делать это всё каждый раз, используются команды \newcommand, \renewcommand, \DeclareMathOperator, \def (к сожалению, на форуме они не работают), например:
\renewcommand{\d}{\partial} (потому что \d уже имеет определение: \d{b} \d{b})
\DeclareMathOperator{\rot}{rot}

Их вы можете добавить в свою стандартную преамбулу документа.