Не могли бы вы помочь мне найти конкретный символ (см. рисунок ниже) для допустимого правила в математической логике? Мы можем написать для него |\!\!\!\sim, но я хочу, чтобы вертикальная черта была того же размера, что и $\vdash$. Спасибо!
решение1
Если вы можете использовать LuaLaTeX или XeLaTeX, вы можете прибегнуть к пакету logixи команде \TurnWavy("wavy turnstile"). Это бинарное отношение, которое, как я полагаю, вы и используете.
logixпросто предоставляет шрифт Unicode; LuaLaTeX или XeLaTeX позволяют вводить символы Unicode непосредственно в исходный текст (иотображаются в выходных данных так, как и предполагалось).
Источник:Полный список символов LaTeX, стр. 81; Я нашел его, просматривая варианты слова «турникет» в индексе.