This is a followup to this answer:
https://tex.stackexchange.com/a/593973/27523
it suggests using the
\DeclareUnicodeCharacter
command to use Unicode source characters.
Now the problem is that I use mathematical Unicode characters that need math mode so I used
\DeclareUnicodeCharacter{2200}{$\forall$}
\DeclareUnicodeCharacter{22A2}{$\vdash$}
\DeclareUnicodeCharacter{2227}{$\land$}
which results in typesetting the characters but not with tt font as the surrounding alltt environment would dictate.
How can I make even the Unicode math symbols to appear in tt font?