Você poderia me ajudar a encontrar um símbolo específico (veja a imagem abaixo) para uma regra admissível em lógica matemática? Podemos escrever para ele |\!\!\!\sim, mas quero que o traço vertical tenha o mesmo tamanho de $\vdash$. Obrigado!
Responder1
Se você pode usar LuaLaTeX ou XeLaTeX, você pode recorrer ao pacote logixe ao comando \TurnWavy("catraca ondulada"). É uma relação binária, que acredito ser a forma como você a está usando.
logixapenas fornece uma fonte Unicode; LuaLaTeX ou XeLaTeX permitem inserir caracteres Unicode diretamente em sua fonte (eaparecer conforme pretendido na saída).
Fonte:A lista abrangente de símbolos LaTeX, p. 81; Encontrei-o procurando variantes de "catraca" no índice.