Title says it all: if you start a formula (inline or displayed), and then activate a
\verbatim tag within that formula, any typed comma will instead appear as an italicized semicolon.
Is this intended behavior? I notice that comma + [tab] recovers a comma in the same environment, so I figure it might be. If so, why is that?
I’m on macOS Catalina, and I’ve tried it on two different machines (generic style, 1.99.17)—open invitation for anyone to let me know if you can reproduce it or not, though, because others haven’t been able to reproduce at least one of my apparent bugs in the past…
EDIT: submitted as a bug on the bug tracker!