¿Podría ayudarme a encontrar un símbolo específico (vea la imagen a continuación) para una regla admisible en lógica matemática? Podemos escribir para ello |\!\!\!\sim, pero quiero que el guión vertical tenga el mismo tamaño que $\vdash$. ¡Gracias!
Respuesta1
Si puedes usar LuaLaTeX o XeLaTeX, puedes recurrir al paquete logixy al comando \TurnWavy("torniquete ondulado"). Es una relación binaria, que creo que es cómo la estás usando.
logixsólo proporciona una fuente Unicode; LuaLaTeX o XeLaTeX le permiten ingresar caracteres Unicode directamente en su fuente (yaparecen como se esperaba en la salida).
Fuente:La lista completa de símbolos de LaTeX, pág. 81; Lo encontré buscando variantes de "torniquete" en el índice.