We will now write some proper \(\LaTeX\) text

\[A_{\textsf{TM}} = \{ \langle M,w \rangle | M \text{ is a TM that accepts input string } w \}\]