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

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

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

@@ -129,7 +129,7 @@ \subsection{Trace Constraints}
 "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
-memory content against. Clicking "Add" will then add the specified constraint to the list below (see Figure~\ref{fig:trace-constr-one}).
+memory content against. Clicking ``Add'' will then add the specified constraint to the list below (see Figure~\ref{fig:trace-constr-one}).
 
 
 \begin{figure}[h]