TeX - LaTeX Stack Exchange is a question and answer site for users of TeX, LaTeX, ConTeXt, and related typesetting systems. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I know how to enter the end of proof boxes in LyX:

\square, \blacksquare. However, I don't like where it ends up in the PDF. Here's an example

enter image description here

I want it to mock the example below (cropped from Munkres' Topology)

enter image description here

How do I do this? This is how I currently enter boxes in LyX: enter image description here

share|improve this question

closed as unclear what you're asking by Joseph Wright Aug 11 '13 at 10:42

Please clarify your specific problem or add additional details to highlight exactly what you need. As it's currently written, it’s hard to tell exactly what you're asking. See the How to Ask page for help clarifying this question.If this question can be reworded to fit the rules in the help center, please edit the question.

If you load amsthm you have a proof environment that adds the tombstone automatically. Just change the meaning of \qedsymbol to $\blacksquare$. – egreg Mar 28 '13 at 10:28
Could you add a screenshot of how you've set it up currently (from LyX)? Answers will vary depending on how you're doing it (for example, \hfill may be what you're looking for). – Sean Allred Mar 28 '13 at 14:45
@SeanAllred,I've just added the screenshot. I just typed \hfill in mathmode and nothing happened. I will look into what that actually means. – The Substitute Mar 28 '13 at 18:20
@TheSubstitute go to Document Settings > Modules and select Theorems (AMS). Click on "Add". To add stuff to the preamble, go to Document Settings > LaTeX Preamble. – scottkosty Mar 28 '13 at 19:20
\renewcommand{\qedsymbol}{$\blacksquare$} is the standard way to get a black tombstone instead of a hollow one. – egreg Mar 28 '13 at 22:14

Browse other questions tagged or ask your own question.