Side-by-side, the left is $A \vdash_F B$ in a blank latex project (pdflatex), and the right is $A tack_F B$ in a blank Typst project.
Is this expected? Is there a way to get a subscript on the tack without making the line so much taller?
Many thanks
Welcome to the forum @crack,
Attachments can be displayed either as sub/superscripts, or limits. Typst automatically decides which is more suitable depending on the base
You can use
$A attach(tack, br: F) B$
or
$A scripts(tack)_F B$
or for all occurrences
#show math.tack: math.scripts
$A tack_F B$
See the Attach Functions – Typst Documentation for more information on attach or scripts.
Hi @crack,
the class of a symbol determines the spacing around it and how other symbols get attached. I believe the default class is inherited from Unicode, so this behavior is expected.
Also, this came to mind:
For completeness: the class of the tack symbol in Unicode is “relation”, the same as the equal sign and arrows for example. So the same mechanism that ensures that =^"text" gets the text on top (rather than in the corner), also makes tack_... get the attachment below the symbol.
@/vmartel08 , @/flokl , @/sijo
Thank you all for your responses, they have been very useful.