Redefining the symbol for the end of proof to \blackbox
40010
Changing the qedsymbol to a personal icon
57459
How to correctly format (and align) a LaTeX proof?
96042
In LyX, how to have itemize inside a proof?
97407
What can I use instead of the arrow operator, `->`?
139306
\normalfont in new theorem-like environment
39413
How do I clear all user defined symbols?
128110
Change Operator Precedence of --> operator
89546
Where is the `--` (double dash) argument documented?
55357
Why does drawing $\square$ mean the end of a proof?
24101
Get the name of a symbol passed to a function
142246
How can I reverse code around an equal sign in Visual Studio?
2077
Denoting the end of example/remark
58239
Symbols for left and right limits
71002
How to put symbol around the equal sign?
89595
What is the difference of \mathop, \operatorname and \DeclareMathOperator?
132717
How to make backtrace()/backtrace_symbols() print the function names?
38092
Symbol for "defined to be logically equivalent" (:⇔)