It seems that on "0.829" (actually 0.830 internally), ss13 doesn't actually exists (as confirmed by Wakamai Fondue) and Git's ss13 is just enabled by default. It's very unsettling with the \| that appears in latex ;)
Conversation
Replying to
It shouldn't happen often but some people (my colleagues...) use \| instead of \mid or \vert. Any way to disable that single ligature as a stylistic style ? :(
1
1
Show replies