Update docs/user-manual/binary-ninja-ui.tex

Co-authored-by: Ben Davis <[email protected]>

docs/user-manual/binary-ninja-ui.tex

@@ -125,7 +125,7 @@ \subsection{Trace Constraints}
   \label{fig:equiv-cond-full}
 \end{figure}
 
-When "Constrain Trace" is clicked, the "Trace Constraint" window (see Figure~\ref{fig:trace-constr-empty}) appears. The
+When ``Constrain Trace'' is clicked, the ``Trace Constraint'' window (see Figure~\ref{fig:trace-constr-empty}) appears. The
 "Variable" dropdown is populated with the memory reads from both the original and patched programs. Notably each read
 is prefixed with the instruction address that the read occurred at, indicating that the constraint applies to the content
 of memory at that specific program point. The user then selects a relation and enters an integer value to compare the