A question on how to scale some turnstiles from the turnstile package

Loading [MathJax]/extensions/toMathML.js

Do you like cookies? 🍪 We use cookies to ensure you get the best experience on our website. Learn more

1
line·6:·Undefined·control·sequence.·
...fontfamily\arabicfont[Script=Arabic]{Amiri}¬
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

LaTeX

MathJax